Bensalem, Saddek books & textbook
Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, ... Computer Science and General Issues)
Atig, Mohamed Faouzi Bensalem, Saddek Bliudze, Simon Monsuez, Bruno
Springer /2018-08-31 Paperback / 233 Pages
isbn-10: 3030003582 / isbn-13: 9783030003586
From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, ... Computer Science and General Issues)
Bensalem, Saddek Lakhnech, Yassine Legay, Axel
Springer /2014-03-11 Paperback / 291 Pages
isbn-10: 3642548474 / isbn-13: 9783642548475
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Programming and Software Engineering)
Springer /2013-08-19 Paperback / 443 Pages
isbn-10: 3642407862 / isbn-13: 9783642407864
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science, 5779)
Bensalem, Saddek Peled, Doron A.
Springer /2009-09-23 Paperback / 210 Pages
isbn-10: 3642046932 / isbn-13: 9783642046933
