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 16:05
on 2017/10/24 16:05
edited by Alexander Schulz-Rosengarten
on 2017/11/16 12:17
on 2017/11/16 12:17
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
-
... ... @@ -109,7 +109,7 @@ 109 109 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 110 110 111 111 (% style="margin-left: 30.0px;" %) 112 - **Michael Sack**: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.112 +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. 113 113 114 114 (% style="margin-left: 30.0px;" %) 115 115 **Andreas Stange:** Attar, P.; Boussinot, F.; Mandel, L.; Susini, J.-F., [[Proposal for a Dynamic Synchronous Language>>url:http://hal.archives-ouvertes.fr/docs/00/59/04/20/PDF/dsl.pdf||shape="rect"]], INRIA, Research Proposal, 2011. ... ... @@ -123,8 +123,6 @@ 123 123 124 124 == Termine == 125 125 126 -**Vorläufige Terminplanung** 127 - 128 128 (% class="wrapped" %) 129 129 |=((( 130 130 Datum ... ... @@ -151,7 +151,7 @@ 151 151 Mi, 15.11 & Fr, 17.11 152 152 )))|(% colspan="1" %)(% colspan="1" %) 153 153 ((( 154 -Individualtermine 152 +Individualtermine, CAP 4, R. 1113 155 155 ))) 156 156 |(% colspan="1" %)(% colspan="1" %) 157 157 ((( ... ... @@ -165,7 +165,7 @@ 165 165 Mi, 13.12 & Fr, 15.12 166 166 )))|(% colspan="1" %)(% colspan="1" %) 167 167 ((( 168 -Individualtermine 166 +Individualtermine, CAP 4, R. 1113 169 169 ))) 170 170 |(% colspan="1" %)(% colspan="1" %) 171 171 ((( ... ... @@ -209,7 +209,7 @@ 209 209 Mi, 24.01 & Fr, 26.01 210 210 )))|(% colspan="1" %)(% colspan="1" %) 211 211 ((( 212 -Individualtermine** 210 +Individualtermine, CAP 4, R. 111**3 213 213 ** 214 214 ))) 215 215 |(% colspan="1" %)(% colspan="1" %)
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -3 32601921 +35750118 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/3 3260192/WS17/18 (Synchrone Sprachen)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/35750118/WS17/18 (Synchrone Sprachen)