Acte de conférence, colloque et atelier

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