Saddek Bensalem

No bio available. Add one in Open Library.

Books by Saddek Bensalem (50 max)

+ shelf+ list

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

2009

Axel Legay, Saddek Bensalem

+ shelf+ list

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

2014

Saddek Bensalem, Yassine Lakhnech, Axel Legay

+ shelf+ list

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

2018

Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze