-
21
-
22
-
23
-
24
Grasping the interdisciplinarity of mechatronics.
Veröffentlicht in IEEE Robotics and automation magazineArtikel -
25
Formal analysis of a space-craft controller using SPIN.
Veröffentlicht in IEEE Transactions on software engineeringArtikel