Designing, animating, and verifying partial UML Models
| Title: | Designing, animating, and verifying partial UML Models |
|---|---|
| Authors: | Jouault, Frédéric; Besnard, Valentin; Calvar, Théo Le; Teodorov, Ciprian; Brun, Matthias; Delatour, Jerome |
| Source: | Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems. :211-217 |
| Availability: | http://dl.acm.org/doi/10.1145/3365438.3410967 |
| Database: | ACM Full-Text Collection |