Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -64,7 +64,7 @@
64	64	(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(%%)Francisco Sant'Anna, Rodrigo Santos, and Noemi Rodriguez. 2021. [[Symmetric distributed applications>>url:https://dl.acm.org/doi/10.1145/3486605.3486786||shape="rect"]]. //Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems//. Association for Computing Machinery.
65	65
66	66	(% style="margin-left: 30.0px;" %)
67		-(% style="color: rgb(51, 51, 51); color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(% style="color: rgb(51,51,51);" %)N. A. Carreón, A. Gilbreath and R. Lysecky, [[Statistical Time-based Intrusion Detection in Embedded Systems>>url:https://ieeexplore.ieee.org/abstract/document/9116369||shape="rect"]], (%%)//2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)//(% style="color: rgb(51,51,51);" %), Grenoble, France, 2020, pp. 562-567, doi: 10.23919/DATE48585.2020.9116369.
	67	+(% style="color: rgb(51,51,51);" %)N. A. Carreón, A. Gilbreath and R. Lysecky, [[Statistical Time-based Intrusion Detection in Embedded Systems>>url:https://ieeexplore.ieee.org/abstract/document/9116369||shape="rect"]], (%%)//2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)//(% style="color: rgb(51,51,51);" %), Grenoble, France, 2020, pp. 562-567, doi: 10.23919/DATE48585.2020.9116369.
68	68
69	69	(% style="margin-left: 30.0px;" %)
70	70	==== **Safety Analysis/Model Checking** ====
...	...	@@ -164,7 +164,7 @@
164	164	)))
165	165	|(% colspan="1" %)(% colspan="1" %)
166	166	(((
167		-(% style="color: rgb(23,43,77);" %)In the week after above (02.05.-05.05.), individual dates
	167	+(% style="color: rgb(23,43,77);" %)In week of above, individual dates
168	168	)))|(% colspan="1" %)(% colspan="1" %)
169	169	(((
170	170	Individual feedback dates.
...	...	@@ -178,7 +178,7 @@
178	178	)))
179	179	|(% colspan="1" %)(% colspan="1" %)
180	180	(((
181		-(% style="color: rgb(23,43,77);" %)In the week after above (22.05.-26.05.), individual dates
	181	+(% style="color: rgb(23,43,77);" %)In week of above, individual dates
182	182	)))|(% colspan="1" %)(% colspan="1" %)
183	183	(((
184	184	Individual feedback dates.
...	...	@@ -208,7 +208,7 @@
208	208	)))
209	209	|(% colspan="1" %)(% colspan="1" %)
210	210	(((
211		-subsequently (12.06.-16.06.)
	211	+subsequently
212	212	)))|(% colspan="1" %)(% colspan="1" %)
213	213	(((
214	214	Individual feedback dates on presentation slides.

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-142606598
	1	+142606595

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606598/SS23 (Embedded Real-Time Systems)
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606595/SS23 (Embedded Real-Time Systems)