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/07/04 12:25
on 2017/07/04 12:25
edited by Alexander Schulz-Rosengarten
on 2017/07/04 12:27
on 2017/07/04 12:27
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
-
... ... @@ -92,7 +92,13 @@ 92 92 93 93 (% style="margin-left: 30.0px;" %) 94 94 (% class="text-black navigate" %)Shaver, C.; Lee, E.A., [[The coroutine model of computation>>url:http://chess.eecs.berkeley.edu/pubs/902/coroutineModelsWithProof.pdf||shape="rect"]], Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems 2012 (MODELS'12), pp. 319-334. (% class="text-black navigate MIME-application MIME--pdf external-link" %)PDF hier(% class="text-black navigate" %). 95 -//Die Bearbeitung dieses Themas sollte sich auch mit ev. aktuellen Weiterentwicklungen beschäftigen, siehe z.B. den Vortrag von Chris Shaver beim Synchronworkshop 2013: [[Slides>>url:http://www.dagstuhl.de/mat/Files/13/13471/13471.ShaverChris.Slides.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]] und die [[Homepage>>url:http://www.eecs.berkeley.edu/%7Eshaver/index.html?page=research||shape="rect" class="MIME-text MIME--html external-link"]]// des Autors.// 95 +//Die Bearbeitung dieses Themas sollte sich auch mit ev. aktuellen Weiterentwicklungen beschäftigen, siehe z.B. den Vortrag von Chris Shaver beim Synchronworkshop 2013: [[Slides>>url:http://www.dagstuhl.de/mat/Files/13/13471/13471.ShaverChris.Slides.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]] und die [[Homepage>>url:http://www.eecs.berkeley.edu/%7Eshaver/index.html?page=research||shape="rect" class="MIME-text MIME--html external-link"]]// des Autors. 96 + 97 +(% style="margin-left: 30.0px;" %) 98 +Elisabetta De Maria, Alexandre Muzy, Daniel Gaff ́e, Annie Ressouche, Franck Grammont. [[Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models>>url:https://hal.inria.fr/hal-01349019/file/RR-8937.pdf||shape="rect"]]. [Research Report] RR-8937, UCA, Inria; UCA, I3S; UCA, LEAT; UCA, LJAD. 2016, pp.21. 99 + 100 +(% style="margin-left: 30.0px;" %) 101 +(% class="text-black navigate" %)// 96 96 // 97 97 98 98 == Termine ==
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -2867236 11 +28672362 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/2867236 1/WS17/18 (Synchrone Sprachen)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672362/WS17/18 (Synchrone Sprachen)