Y. Lakhnech
2 published titles
Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in
(Contributor)
1 edition
- ISBN: 3540231676
- Springer
- 2004
- 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
