Acte de conférence, colloque et atelier

Implementing MSC Tests with Quiescence Observation

Boroday, S., Petrenko, A. and Ulrich, A. "Implementing MSC Tests with Quiescence Observation" in 21th IFIP International Conference on Testing of Communicating Systems / 9th International Workshop on Formal Approaches to Testing of Software (TESTCOM/FATES 2009), pp. 49–65. Eindhoven, The Netherlands