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/23 12:48
on 2017/10/23 12:48
edited by Alexander Schulz-Rosengarten
on 2017/10/23 13:53
on 2017/10/23 13:53
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
-
... ... @@ -75,6 +75,9 @@ 75 75 (% class="bodytext" style="margin-left: 30.0px;" %) 76 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. 77 77 78 +(% class="bodytext" style="margin-left: 30.0px;" %) 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// 80 + 78 78 === Master Empfehlung === 79 79 80 80 (% style="margin-left: 30.0px;" %) ... ... @@ -293,10 +293,7 @@ 293 293 * IEEE-Xplore: [[http:~~/~~/ieeexplore.ieee.org/Xplore/dynhome.jsp>>url:http://ieeexplore.ieee.org/Xplore/dynhome.jsp||shape="rect" class="external-link"]] 294 294 ** Kostenloser Download nur aus Rechnern im Uninetz möglich 295 295 * ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]] 296 -* Universitätsbibliothek Digitale Medien: [[http:~~/~~/www.uni-kiel.de/ub/emedien/index.html>>url:http://www.uni-kiel.de/ub/emedien/index.html||shape="rect"]]((( 297 -(% class="bodytext" style="margin-left: 30.0px;" %) 298 -**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. 299 -))) 299 +* Universitätsbibliothek Digitale Medien: [[http:~~/~~/www.uni-kiel.de/ub/emedien/index.html>>url:http://www.uni-kiel.de/ub/emedien/index.html||shape="rect"]] 300 300 301 301 (% style="display: none;" %) 302 302 (((
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -3326001 11 +33260018 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/3326001 1/WS17/18 (Synchrone Sprachen)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/33260018/WS17/18 (Synchrone Sprachen)