Showing 1 - 4 results of 4 for search 'Bensalem, Saddek', query time: 0.02s Refine Results
  1. 1
    Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /
    Published 2013
    Other Authors: “…Bensalem, Saddek…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /
    Published 2009
    Other Authors: “…Bensalem, Saddek…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings /
    Published 2014
    Other Authors: “…Bensalem, Saddek…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings /
    Published 2018
    Other Authors: “…Bensalem, Saddek…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search