Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun 0001, Philippe Dhaussy. A Model Checkable UML Soccer Player. In Loli Burgueño, Alexander Pretschner, Sebastian Voss, Michel Chaudron, Jörg Kienzle, Markus Völter, Sébastien Gérard, Mansooreh Zahedi, Erwan Bousse, Arend Rensink, Fiona Polack, Gregor Engels, Gerti Kappel, editors, 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019. pages 211-220, IEEE, 2019. [doi]
Abstract is missing.