|
||
---|---|---|
hal-02433749v1
Communication dans un congrès
Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩ |
||
|