![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
MoDeVVa@MoDELS 2013: Miami, FL, USA
- Frédéric Boulanger, Michalis Famelis, Daniel Ratiu:
Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2013, co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, October 1st, 2013. CEUR Workshop Proceedings 1069, CEUR-WS.org 2013 - Stefan Mijatov, Philip Langer, Tanja Mayerhofer, Gerti Kappel:
A Framework for Testing UML Activities Based on fUML. 1-10 - Pascal André, Jean-Marie Mottu, Gilles Ardourel:
Building Test Harness From Service-based Component Models. 11-20 - Christian Prehofer:
Feature-based Development of State Transition Diagrams with Property Preservation. 21-30 - Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl:
Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. 31-40 - Ulyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, Tom Verhoeff:
Applying Model Transformation and Event-B for Specifying an Industrial DSL. 41-50 - Jan Olaf Blech:
Ensuring OSGi Component Based Properties at Runtime with Behavioral Types. 51-60 - Nico Nachtigall, Benjamin Braatz, Thomas Engel:
Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems. 61-66 - Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nóbrega, Ileana Ober, Martina Seidl, Markus Völter:
Research Questions for Validation and Verification in the Context of Model-Based Engineering. 67-76 - Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray:
An Approach to Analyzing Temporal Properties in UML Class Models. 77-86
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.