- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Bensalem, Saddek

Showing 1 - 4 of 4 results

Search Results

Cover image for Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

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

by Legay, Axel
2013
Format: Electronic

Location
Access Content Online

Cover image for Runtime verification

Runtime verification

by RV 2009
2009
Format: Electronic

Location
Access Content Online

Cover image for Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26?28, 2018, Proceedings

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

by Atig, Mohamed Faouzi
2018
Format: Electronic

Location
Access Content Online

Cover image for From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings

From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings

by Bensalem, Saddek
2014
Format: Electronic

Location
Access Content Online