2017/11/24 by Tobias Sehnke, Sehnke, Tobias, Matthias Schultalbers +3
Computer Science · #Distributed and Parallel Computing Systems #Embedded Systems Design Techniques #FOS: Electrical engineering #Real-Time Systems Scheduling #Systems and Control (eess.SY) #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.1711.09130
openalex publication_date 2017/11/24 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.