It looks like you're offline.

Last edited anonymously

April 30, 2008 | History

Edit

Joseph Sifakis

We need a photo of Joseph Sifakis

6 works Add another?

Most Editions

Understanding and Changing the World: From Information to Knowledge and Intelligence

by Joseph Sifakis First published in 2022
2 editions

Learn More
Preview

Embedded systems design: the ARTIST roadmap for research and development

by Joseph Sifakis First published in 2005
2 editions, 1 ebook

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

by Joseph Sifakis First published in 1990
1 edition

Learn More
Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings

by Alberto Sangiovanni-Vincentelli and Joseph Sifakis First published in 2003
1 edition

Learn More
Rigorous System Design

by Joseph Sifakis First published in 2013
1 edition

Learn More
Automatic verification methods for finite state systems: international workshop, Grenoble, France, June 12-14, 1989 : proceedings

by Joseph Sifakis First published in 1990
1 edition

Learn More

We need a photo of Joseph Sifakis

ID Numbers

OLID: OL3328486A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON