Paper Info
Title
Temporal Properties in Component-Based Cyber Physical Systems - Appendix.
Abstract
In this document, we provide supplementary material to a paper that will be published in ERTS2. It includes a more detailed description of the described requirement transformations, outlined in the paper. For this purpose, we also provide a formal description of the temporal semantics model.
Year
Venue
Field
2017
arXiv: Systems and Control
Mathematical optimization,Programming language,Formal description,Cyber-physical system,Mathematics,Semantics
DocType
Volume
Citations 
Journal
abs/1711.09130
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Tobias Sehnke100.34
Matthias Schultalbers2328.56
Rolf Ernst32633252.90