Saddek Bensalem – författare
Visar alla böcker från författaren Saddek Bensalem. Handla med fri frakt och snabb leverans.
8 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
566 kr
Lägg i varukorg
This book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018.The 11 full papers in this volume, presented together with one abstract and two invited papers, …
Verification and Evaluation of Computer and Communication Systems
12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Av Bruno Monsuez, Simon Bliudze m. fl.
E-bok, 2018
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018. The 11 full papers in this volume, presented together with one abstract and two invited papers, …
Runtime Verification
9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Av Saddek Bensalem, Doron A. Peled
Häftad, 2009
566 kr
Lägg i varukorg
The RV series of workshops brings together researchers from academia and - dustry that are interested in runtime veri?cation. The goal of the RV workshops is to study the ability to apply lightweight formal veri?cation during the exe- tion of programs. This approach complements the o?ine use of …
Runtime Verification
9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Av Doron A. Peled, Saddek Bensalem
E-bok, 2009
755 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
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected …
Runtime Verification
4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
Av Saddek Bensalem, Axel Legay
E-bok, 2013
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected …
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
544 kr
Lägg i varukorg
"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in honor of Professor Joseph Sifakis in the framework of the 16th European Joint Conferences on Theory and Practice of Software, ETAPS, in Grenoble, April 2014. Joseph Sifakis is an active and visionary …
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 Axel Legay, Yassine Lakhnech m. fl.
E-bok, 2014
657 kr
Lägg i varukorg
"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in honor of Professor Joseph Sifakis in the framework of the 16th European Joint Conferences on Theory and Practice of Software, ETAPS, in Grenoble, April 2014. Joseph Sifakis is an active and visionary …
