MPG.eBooks - Author Search Results

Cover Image

1

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

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Bensalem, Saddek...”

Cover Image

2

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

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Bensalem, Saddek...”

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

Other Authors: “...Bensalem, Saddek...”

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

Other Authors: “...Bensalem, Saddek...”