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
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.