MPG.eBooks - Search Results - "France"

Cover Image

1

Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

“... Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together...”

Cover Image

2

Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

Published 2009

Springer Berlin Heidelberg

Cover Image

3

From Programs to Systems - The Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Published 2014

Springer Berlin Heidelberg

Cover Image

4

Verification and Evaluation of Computer and Communication Systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Published 2018

Springer International Publishing

“... and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018...”