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
2 RWTH - Rheinisch-Westfälische Technische Hochschule Aachen University
3 TUM - Technische Universität Munchen - Technical University Munich - Université Technique de Munich

Domaines: Autre [cs.OH]

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Learning Communicating Automata from~MSCs. IEEE Transactions on Software Engineering, 2010, 36 (3), pp.390-408. ⟨10.1109/TSE.2009.89⟩. ⟨hal-00779922⟩