Suchergebnisse - "In-flight experiment."
-
1
-
2
-
3
Formal analysis of a space-craft controller using SPIN.
Veröffentlicht in IEEE Transactions on software engineeringArtikel


