Learning Communicating Automata from~MSCs

Benedikt Bollig 1 Joost-Pieter Katoen 2 Carsten Kern 2 Martin Leucker 3
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Type de document :
Article dans une revue
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2010, 36 (3), pp.390-408. 〈10.1109/TSE.2009.89〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00779922
Contributeur : Stefan Haar <>
Soumis le : mardi 22 janvier 2013 - 17:10:51
Dernière modification le : vendredi 20 avril 2018 - 10:21:40

Identifiants

Collections

Citation

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Learning Communicating Automata from~MSCs. IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2010, 36 (3), pp.390-408. 〈10.1109/TSE.2009.89〉. 〈hal-00779922〉

Partager

Métriques

Consultations de la notice

161