Suchergebnisse - "Formal description."
-
1
A component-based specification approach for embedded systems using FDTs.
Veröffentlicht in Software engineering notes.Artikel -
2
The Mobius framework and its implementation.
Veröffentlicht in IEEE Transactions on software engineeringArtikel