Conference , Workshops Proceedings

Modular System Verification ...

Groz, R., Li, K., Petrenko, A. and Shahbaz, M. "Modular System Verification by Inference, Testing and Reachability Analysis" in Proceedings of the 20th IFIP International Conference on Testing of Communicating Systems and 8th International Workshop on Formal Approaches to Testing of Software (TESTCOM/Fates 2008), pp. 216-233. Tokyo, Japan
[Full text] [Abstract]

  • Économie Québec RT @economie_quebec: Avec la Stratégie numérique, le Québec met en route un véritable projet de société. Soyez des nôtres mercredi le 13 dé…
  • Dominique Anglade RT @DomAnglade: Le numérique transforme notre rapport au savoir et multiplie les manières d’approfondir nos connaissances. Au cœur de cette…