default search action

combined dblp search
author search
venue search
publication search

ask others

13th FESCA@ETAPS 2016: Eindhoven, The Netherlands

> Home > Conferences and Workshops > FESCA
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/KofronTB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KofronTB16
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
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CoutoRC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CoutoRC16
Rui Couto, António Nestor Ribeiro, José Creissac Campos:
Validating an Approach to Formalize Use Cases with Ontologies. 1-15
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KeshishzadehMH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KeshishzadehMH16
Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman:
Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts. 16-30
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ChircopCP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChircopCP16
Luke Chircop, Christian Colombo, Gordon J. Pace:
Device-Centric Monitoring for Mobile Device Management. 31-44
- view
  authority control:
- export record
  dblp key:
  - journals/corr/VaradarajanROMB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/VaradarajanROMB16
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
- view
  authority control:
- export record
  dblp key:
  - journals/corr/VinarekH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/VinarekH16
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.