Temporal Properties in Component-Based Cyber Physical Systems - Appendix
classification
💻 cs.SY
cs.SY
keywords
descriptiontemporalappendixcomponent-basedcyberdescribeddetaileddocument
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.