Unified LTL Verification and Embedded Execution of UML Models
| Title: | Unified LTL Verification and Embedded Execution of UML Models |
|---|---|
| Authors: | Besnard, Valentin; Brun, Matthias; Jouault, Frédéric; Teodorov, Ciprian; Dhaussy, Philippe |
| Source: | Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems. :112-122 |
| Availability: | http://dl.acm.org/doi/10.1145/3239372.3239395 |
| Database: | ACM Full-Text Collection |