Changes for page 2019/20 Echtzeitsysteme und eingebettete Systeme
Last modified by Richard Kreissig on 2025/01/30 11:57
<
>
edited by Alexander Schulz-Rosengarten
on 2019/10/21 08:44
on 2019/10/21 08:44
edited by Alexander Schulz-Rosengarten
on 2019/10/21 16:33
on 2019/10/21 16:33
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
-
... ... @@ -40,7 +40,7 @@ 40 40 === Bachelor Empfehlung === 41 41 42 42 (% style="margin-left: 30.0px;" %) 43 -(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)Yixiao Lin, Sayan Mitro, (% style="color: rgb(0,0,0);" %)[[StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems>>url:https://dl.acm.org/citation.cfm?id=2754966||shape="rect"]], (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)LCTES 2015 43 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[vergeben]** Yixiao Lin, Sayan Mitro, (% style="color: rgb(0,0,0);" %)[[StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems>>url:https://dl.acm.org/citation.cfm?id=2754966||shape="rect"]], (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)LCTES 2015 44 44 45 45 (% style="margin-left: 30.0px;" %) 46 46 (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "[[Semantics Driven Hardware Design, Implementation, and Verification with ReWire>>url:https://dl.acm.org/citation.cfm?id=2754970||shape="rect"]]", LCTES 2015
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -65667 3871 +65667429 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/65667 387/WS19/20 (Echtzeitsysteme und eingebettete Systeme)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/65667429/WS19/20 (Echtzeitsysteme und eingebettete Systeme)