Skip to content

Home Practice Lessons About

Joseph Sifakis

Books

Understanding and Changing the World
Embedded systems design
Rigorous System Design
Automatic verification methods for finite state systems
Automatic Verification Methods for Finite State Systems
Embedded Software

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.