Changes for page 2022/23 Synchronous Languages
Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:00
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -52,6 +52,18 @@ 52 52 (% style="margin-left: 30.0px;" %) 53 53 Marten Lohstroh and Edward A. Lee, [[Deterministic Actors>>url:https://ieeexplore.ieee.org/abstract/document/8876922||shape="rect"]], //2019 Forum for Specification and Design Languages (FDL)//, Southampton, United Kingdom, 2019 54 54 55 +(% style="margin-left: 30.0px;" %) 56 +\\ 57 + 58 +(% style="margin-left: 30.0px;" %) 59 +Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, and Jean-Pierre Talpin, [[Clock-driven distributed real-time implementation of endochronous synchronous programs>>url:https://dl.acm.org/doi/abs/10.1145/1629335.1629356||shape="rect"]], In //Proceedings of the seventh ACM international conference on Embedded software//, New York, USA, 2009 60 + 61 +(% style="margin-left: 30.0px;" %) 62 +Saranya Natarajan and David Broman, [[Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics>>url:https://ieeexplore.ieee.org/document/9232935||shape="rect"]], (% style="" %)//2020 Forum for Specification and Design Languages (FDL)//(% style="color: rgb(51,51,51);" %), 2020 63 + 64 +(% style="margin-left: 30.0px;" %) 65 +(% style="color: rgb(51,51,51);" %)Saranya Natarajan and David Broman, [[Timed C: An Extension to the C Programming Language for Real-Time Systems>>url:https://ieeexplore.ieee.org/document/8430085||shape="rect"]], (% style="color: rgb(51, 51, 51)" %)//2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)//(% style="color: rgb(51,51,51);" %), 2018, pp. 227-239 66 + 55 55 === Master Recommendations === 56 56 57 57 (% style="margin-left: 30.0px;" %)
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -1287454 871 +128745491 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/1287454 87/WS22/23 (Synchronous Languages)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/128745491/WS22/23 (Synchronous Languages)