Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Joseph Sifakis | lit.salon

Author

Joseph Sifakis

6 works

1990–2022 across 6 dated works

No biography is available yet.

Start with

Automatic verification methods for finite state systems: international workshop, Grenoble, France, June 12-14, 1989 : proceedings1990
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science)1990
Embedded Software Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings2003
With Alberto Sangiovanni-Vincentelli
Embedded systems design: the ARTIST roadmap for research and development2005

Books

6 works

Featured (6)Featured (6)All (6)All (6)

Search booksSort books

Embedded systems design: the ARTIST roadmap for research and development2005
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Automatic verification methods for finite state systems: international workshop, Grenoble, France, June 12-14, 1989 : proceedings1990
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Rigorous System Design2013
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science)1990
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Understanding and Changing the World: From Information to Knowledge and Intelligence2022
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Embedded Software Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings2003
With Alberto Sangiovanni-Vincentelli
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Joseph Sifakis.

The conversation is still open.

There is no public salon activity to show for Joseph Sifakis yet.