Non abbiamo ancora una biografia di Joseph Sifakis.
Pubblicato in Inglese
Understanding and Changing the World
2023
Embedded systems design
2005
Automatic verification methods for finite state systems
1990
Rigorous System Design
2013
Embedded Software
2003
Otium
