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]

  • #ÉvénementPartenaire : Forum CIRANO-ADRIQ - Françoys Labonté siégera sur un panel autour de la formation et l'accom… https://t.co/QmyYdYO4Eg
  • TechnoMontreal RT @TechnoMontreal: Le ministre de @economie_quebec @MinFitzgibbon sera présent lors de l'événement Futur des technologies, pour soutenir l…