Changes for page 2017/18 Synchrone Sprachen
Last modified by Richard Kreissig on 2025/01/30 11:55
<
>
edited by Alexander Schulz-Rosengarten
on 2017/09/27 18:05
on 2017/09/27 18:05
edited by Alexander Schulz-Rosengarten
on 2017/09/04 10:49
on 2017/09/04 10:49
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
-
... ... @@ -72,7 +72,7 @@ 72 72 === Master Empfehlung === 73 73 74 74 (% style="margin-left: 30.0px;" %) 75 - **Jan Reese**:Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden. [[Runtime enforcement of reactive systems using synchronous enforcers>>url:https://arxiv.org/pdf/1612.05030.pdf||shape="rect"]]. In //CoRR//, vol. abs/1612.05030, 2016.75 +Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden. [[Runtime enforcement of reactive systems using synchronous enforcers>>url:https://arxiv.org/pdf/1612.05030.pdf||shape="rect"]]. In //CoRR//, vol. abs/1612.05030, 2016. 76 76 77 77 (% style="margin-left: 30.0px;" %) 78 78 Yip, E.; Kuo, M.; Roop. P. S., Broman, D., [[Relaxing the Synchronous Approach for Mixed-Criticality Systems>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6925993||shape="rect"]], Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, April 15-17, 2014.
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -33259 6941 +33259553 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/33259 694/WS17/18 (Synchrone Sprachen)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/33259553/WS17/18 (Synchrone Sprachen)