J. Sifakis
3 published titles
Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings
(Contributor)
1 edition
- ISBN: 354044307X
- Springer
- 2002
- Details
Embedded systems design : the ARTIST roadmap for research and development
(Contributor)
1 edition
- ISBN: 3540251073
- Springer
- 2005
- Details
From programs to systems - the systems perspective in computing : ETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014, proceedings
(Contributor)
1 edition
- ISBN: 9783642548475
- Springer
- 2014
- Details