| Title: |
Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach |
| 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 (MODELS) MODELS Model Driven Engineering Languages and Systems (MODELS), 2019 ACM/IEEE 22nd International Conference on. :161-171 Sep, 2019 |
| Relation: |
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) |
| Database: |
IEEE Xplore Digital Library |