Saddek Bensalem – författare
Visar alla böcker från författaren Saddek Bensalem.
4 produkter
Verification and Evaluation of Computer and Communication Systems
12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Av Mohamed Faouzi Atig, Saddek Bensalem m. fl.
Häftad, 2018
739 kr
Lägg i varukorg
Runtime Verification
9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Av Saddek Bensalem, Doron A. Peled
Häftad, 2009
739 kr
Lägg i varukorg
Runtime Verification
4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
Av Axel Legay, Saddek Bensalem
Häftad, 2013
739 kr
Lägg i varukorg
From Programs to Systems - The Systems Perspective in Computing
ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
Av Saddek Bensalem, Yassine Lakhnech m. fl.
Häftad, 2014
709 kr
Lägg i varukorg