A model checkable UML soccer player
| Title: | A model checkable UML soccer player |
|---|---|
| Authors: | Besnard, Valentin; Teodorov, Ciprian; Jouault, Frédéric; Brun, Matthias; Dhaussy, Philippe |
| Source: | Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems. :211-220 |
| Availability: | http://dl.acm.org/doi/10.1109/MODELS-C.2019.00035 |
| Database: | ACM Full-Text Collection |