Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)
Book title Buchtitel
Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)
Publisher Herausgeber
CEUR
Place of publishing Erscheinungsort
Vol-1069
Series Schriftenreihe
CEUR Workshop Proceedings
Subject
Date issued
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Mijatov, Stefan ; Langer, Philip ; Mayerhofer, Tanja ; Kappel, Gerti | A Framework for Testing UML Activities Based on fUML | Konferenzbeitrag Inproceedings  | 2013 | |
| 2 | Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena | Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines | Konferenzbeitrag Inproceedings | 2013 |