CREST - A DSL for Reactive Cyber-Physical Systems
ContributorsKlikovits, Stefan; Linard, Alban; Buchs, Didier
Presented atCopenhagen (Denmark), 15-16 October 2018
PublisherCham : Springer
Publication date2018
Abstract
Affiliation entities
Research groups
Funding
- Swiss National Science Foundation - STRATOS
- Autre - COST IC1404
Citation (ISO format)
KLIKOVITS, Stefan, LINARD, Alban, BUCHS, Didier. CREST - A DSL for Reactive Cyber-Physical Systems. In: 10th International Conference on System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, SAM 2018. Copenhagen (Denmark). Cham : Springer, 2018. p. 29–45. doi: 10.1007/978-3-030-01042-3_3
Main files (1)
Proceedings chapter (Accepted version)
Identifiers
- PID : unige:138193
- DOI : 10.1007/978-3-030-01042-3_3
Additional URL for this publicationhttp://link.springer.com/10.1007/978-3-030-01042-3_3
ISBN978-3-030-01041-6
