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:39
on 2017/07/04 12:39
edited by Alexander Schulz-Rosengarten
on 2017/07/04 12:42
on 2017/07/04 12:42
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
-
... ... @@ -74,9 +74,6 @@ 74 74 (% class="bodytext" style="margin-left: 30.0px;" %) 75 75 Talpin, J.-P; Brandt, J.; Gemünde, M.; Schneider, M.; Shukla, S., "Constructive Polychronous Systems", Logical Foundations of Computer Science. vol. 7734, 2013. [[PDF hier>>url:http://hal.inria.fr/hal-00763371/||shape="rect" class="external-link"]]. 76 76 77 -(% class="bodytext" style="margin-left: 30.0px;" %) 78 -Brandt, J.; Schneider, K.; "Passive code in synchronous programs", ACM Transactions on Embedded Computing Systems (TECS), Special Section, vol. 13 issue 2s, Jan2014, article No. 67. [[PDF hier>>url:http://dl.acm.org/citation.cfm?id=2555770||shape="rect" class="external-link"]]. 79 - 80 80 === Master Empfehlung === 81 81 82 82 (% style="margin-left: 30.0px;" %) ... ... @@ -108,6 +108,9 @@ 108 108 Guillaume Baudart, Timothy Bourke, and Marc Pouzet. [[Soundness of the Quasi-Synchronous Abstraction>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7886655||shape="rect"]]. In //International Conference on Formal Methods in Computer-Aided Design (FMCAD)//, Mountain View, California, USA, October, 3-6 2016 109 109 110 110 (% style="margin-left: 30.0px;" %) 108 +Brandt, J.; Schneider, K.; [[Passive code in synchronous programs>>url:http://dl.acm.org/citation.cfm?id=2544387||shape="rect"]], ACM Transactions on Embedded Computing Systems (TECS), Special Section, vol. 13 issue 2s, Jan2014, article No. 67. 109 + 110 +(% style="margin-left: 30.0px;" %) 111 111 (% class="text-black navigate" %)// 112 112 // 113 113
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -286723 661 +28672391 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/286723 66/WS17/18 (Synchrone Sprachen)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672391/WS17/18 (Synchrone Sprachen)