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
-
... ... @@ -56,8 +56,14 @@ 56 56 \\ 57 57 58 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//, 2009 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 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 + 61 61 === Master Recommendations === 62 62 63 63 (% style="margin-left: 30.0px;" %)
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -1287454 891 +128745491 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/1287454 89/WS22/23 (Synchronous Languages)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/128745491/WS22/23 (Synchronous Languages)