Conference , Workshops Proceedings

Formal methods for ...

Petrenko, A. "Formal Methods for Design and Testing of Composite Reactive Systems" in Proceedings of the 4th International Conference on Information Systems Analysis and Synthesis (ISAS'98) In context of the World Multiconference on Systemics, Cybernetics and Informatics (SCI'98). FL., Orlando, USA

  • #É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…