![](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
13th FESCA@ETAPS 2016: Eindhoven, The Netherlands
- Jan Kofron
, Jana Tumova, Bara Buhnova
:
Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. EPTCS 205, 2016 - Rui Couto
, António Nestor Ribeiro
, José Creissac Campos
:
Validating an Approach to Formalize Use Cases with Ontologies. 1-15 - Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman:
Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts. 16-30 - Luke Chircop, Christian Colombo
, Gordon J. Pace
:
Device-Centric Monitoring for Mobile Device Management. 31-44 - Avinash Visagan Varadarajan, Marcel Romijn, Bart Oosthoek, Joanna M. van de Mortel-Fronczak, Jos Beijer:
Development and Validation of Functional Model of a Cruise Control System. 45-58 - Jirí Vinárek, Petr Hnetynka
:
Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems. 59-68
![](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.