<
From version < 46.1 >
edited by Alexander Schulz-Rosengarten
on 2017/10/23 17:31
To version < 47.1 >
edited by Alexander Schulz-Rosengarten
on 2017/10/24 08:32
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -100,7 +100,7 @@
100 100  //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.
101 101  
102 102  (% style="margin-left: 30.0px;" %)
103 -Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, 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.
103 +**Lena Grimm**: Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, 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.
104 104  
105 105  (% style="margin-left: 30.0px;" %)
106 106  Bourke T., Colaço JL., Pagano B., Pasteur C., Pouzet M. (2015) [[A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages>>url:https://www.di.ens.fr/~~pouzet/bib/cc15.pdf||shape="rect"]]. In: Franke B. (eds) Compiler Construction. CC 2015. Lecture Notes in Computer Science, vol 9031. Springer, Berlin, Heidelberg
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -33260028
1 +33260030
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/33260028/WS17/18 (Synchrone Sprachen)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/33260030/WS17/18 (Synchrone Sprachen)