Joseph Sifakis
Joseph Sifakis
4 books in the database
Books
Embedded systems designJoseph Sifakis
Embedded systems design
Joseph Sifakis · 2005
Automatic Verification Methods for Finite State SystemsJoseph Sifakis
Automatic Verification Methods for Finite State Systems
Joseph Sifakis · 1990
Understanding and Changing the WorldJoseph Sifakis
Understanding and Changing the World
Joseph Sifakis · 2022
Rigorous System DesignJoseph Sifakis
Rigorous System Design
Joseph Sifakis · 2013
Co-authored books and collections
Books that list Joseph Sifakis among their authors but not as the lead author: co-written works, collections and compilations.