| Title: |
A Model Checkable UML Soccer Player |
| Authors: |
Besnard, Valentin; Teodorov, Ciprian; Jouault, Frederic; Brun, Matthias; Dhaussy, Philippe |
| Source: |
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) MODELS-C Model Driven Engineering Languages and Systems Companion (MODELS-C), 2019 ACM/IEEE 22nd International Conference on. :211-220 Sep, 2019 |
| Relation: |
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) |
| Database: |
IEEE Xplore Digital Library |