![](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
STAF Doctoral Symposium 2015: L'Aquila, Italy
- Martin Gogolla, Henry Muccini, Dániel Varró:
Proceedings of the Doctoral Symposium at Software Technologies: Applications and Foundations 2015 Conference (STAF 2015), L'Aquila, Italy, July 20, 2015. CEUR Workshop Proceedings 1499, CEUR-WS.org 2015 - Gennaro Vessio:
Reasoning about Properties with Abstract State Machines. 1-10 - Alessio Bucaioni:
Raising Abstraction in Timing Analysis for Vehicular Embedded Systems through Model-Driven Engineering. 11-20 - Fábio Paulo Basso:
A Proposal for a Common Representation Language for MDE Artifacts and Settings. 21-31 - Ernesto Cid Brasil de Matos:
Complementing the B-Method with Model-Based Testing. 32-41 - Jóhan Davidsen:
Communication with Models. 42-49 - Eric Umuhoza:
Domain-Specific Modeling and Code Generation for Cross-Platform Multi-Device Mobile Apps. 50-60
![](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.