Joseph Sifakis

Joseph Sifakis is the author of "Embedded Software", "Automatic Verification Methods for Finite State Systems", "Embedded Systems Design" and "Rigorous System Design".

Books by Joseph Sifakis

Automatic Verific...
Sifakis Joseph
Paperback: $54.99

Embedded Systems ...
Bouyssounouse Bruno
Paperback: $109.99

Understanding and...
Sifakis, Joseph
Paperback: $54.99

Embedded Software
Sangiovanni-Vincent...
Paperback: