Browse
FAQ

Author

Joseph Sifakis

5 books found

Cover of Understanding and Changing the World

Understanding and Changing the World

Joseph Sifakis · First published 2022

Cover of Rigorous System Design

Rigorous System Design

Joseph Sifakis · First published 2013

Cover of Embedded systems design

Embedded systems design

Joseph Sifakis · First published 2005

Cover of Embedded Software

Embedded Software

Alberto Sangiovanni-Vincentelli, Joseph Sifakis · First published 2003

Cover of Automatic Verification Methods for Finite State Systems

Automatic Verification Methods for Finite State Systems

Joseph Sifakis · First published 1990