Joseph Sifakis

Identifiers

Open LibraryOL3328486A

Top Subjects

Logic Design (1)
Programming - Systems Analysis & Design (1)
Mathematical theory of computation (1)
Systems analysis & design (1)
Computers - General Information (1)
Programming - Software Development (1)

Books by Joseph Sifakis

Total count: 5

Automatic Verification Methods for Finite State SystemsInternational Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science)

Not Avail1990-02-01
Embedded SoftwareSecond International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings

Springer London, Limited2003-01-01
Embedded Systems DesignThe ARTIST Roadmap for Research and Development

Springer London, Limited2005-01-01
Rigorous System Design

Now Publishers Inc2013-03-20
Understanding and Changing the WorldFrom Information to Knowledge and Intelligence

Springer2022-01-01