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

  • Notre #RapportAnnuel est en ligne! Découvrez les réalisations phares de l'année incluant une série d'interventions… https://t.co/GxLmYubAhr
  • CANARIE RT @CANARIE_Inc: VESTA recueille les données des systèmes d'apprentissage en ligne quand les élèves lisent l'écran, sont distraits ou pense…