Axel Legay
4 published titles
Runtime verification : 4th international conference, RV 2013 Rennes, France, September 24-27, 2013, proceedings
(Contributor)
1 edition
- ISBN: 9783642407864
- Springer
- 2013
- Details
Hardware and software: verification and testing : 9th international Haifa verification conference, HVC 2013, Haifa, Israel, November 5-7, 2013, proceedings
(Contributor)
1 edition
- ISBN: 9783319030760
- Springer
- 2013
- 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
Formal modeling and analysis of timed systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, proceedings
(Contributor)
1 edition
- ISBN: 9783319105116
- Springer
- 2014
- Details