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/10/24 08:32
on 2017/10/24 08:32
edited by Alexander Schulz-Rosengarten
on 2017/10/24 13:49
on 2017/10/24 13: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
-
... ... @@ -73,7 +73,7 @@ 73 73 **Felix von der Heide:** Reinhard von Hanxleden and Timothy Bourke and Alain Girault. [[Real-Time Ticks for Synchronous Programming>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/downloads/papers/fdl17.pdf||shape="rect"]]. In (% class="cmti-10" %)Proc. Forum on(%%) (% class="cmti-10" %)Specification and Design Languages (FDL ’17)(%%), Verona, Italy, 2017. 74 74 75 75 (% class="bodytext" style="margin-left: 30.0px;" %) 76 -Guillaume Baudart and Timothy Bourke and Marc Pouzet. [[Symbolic Simulation of Dataflow Synchronous Programs with Timers.>>url:https://www.di.ens.fr/~~pouzet/bib/fdl17.pdf||shape="rect"]] In (% class="cmti-10" %)Proc. Forum on(%%) (% class="cmti-10" %)Specification and Design Languages (FDL ’17)(%%), Verona, Italy, 2017. 76 +**Lennart Ideler**: Guillaume Baudart and Timothy Bourke and Marc Pouzet. [[Symbolic Simulation of Dataflow Synchronous Programs with Timers.>>url:https://www.di.ens.fr/~~pouzet/bib/fdl17.pdf||shape="rect"]] In (% class="cmti-10" %)Proc. Forum on(%%) (% class="cmti-10" %)Specification and Design Languages (FDL ’17)(%%), Verona, Italy, 2017. 77 77 78 78 (% class="bodytext" style="margin-left: 30.0px;" %) 79 79 D. Li, Z. Zhai, Z. Pang, V. Vyatkin and C. Liu, [[Synchronous-reactive Semantic Modelling and Verification for Function Block Networks>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7913644||shape="rect"]], in //IEEE Transactions on Industrial Informatics// ... ... @@ -142,7 +142,7 @@ 142 142 Vorbesprechung/Kick-Off, Latex/Git Kurzeinführung, CAP 4, R. 1115 143 143 ))) 144 144 |((( 145 - Fr, 17.11., 8:00 Uhr145 +Di, 14.11., 8:00 Uhr 146 146 )))|((( 147 147 Abgabe Ausarbeitungsgerüst (Abstract, Einleitung, Gliederung, Stichworte zum Inhalt der Kapitel, Bibliographie) 148 148 ))) ... ... @@ -155,7 +155,7 @@ 155 155 ))) 156 156 |(% colspan="1" %)(% colspan="1" %) 157 157 ((( 158 - Fr, 15.12., 8:00 Uhr158 +Di, 12.12., 8:00 Uhr 159 159 )))|(% colspan="1" %)(% colspan="1" %) 160 160 ((( 161 161 Abgabe der Erstversion der vollständigen Ausarbeitung
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -332600 301 +33260062 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/332600 30/WS17/18 (Synchrone Sprachen)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/33260062/WS17/18 (Synchrone Sprachen)