Summary

• Page properties (2 modified, 0 added, 0 removed)

Details

Page properties

Author

...	...	@@ -1,1 +1,1 @@
1		-XWiki.jep
	1	+XWiki.als

Content

...	...	@@ -126,7 +126,6 @@
126	126	(% style="margin-left: 30.0px;" %)
127	127	(% style="color:#333333" %)A. Gannous, A. Andrews and B. Gallina, [[Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems>>url:https://ieeexplore.ieee.org/document/8539215||shape="rect"]]. (%%)//2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)//(% style="color:#333333" %), 2018, pp. 329-336, doi: 10.1109/ISSREW.2018.00026.
128	128
129		-
130	130	= Schedule =
131	131
132	132	== Dates in the semester ==
...	...	@@ -138,11 +138,11 @@
138	138	Milestone
139	139	)))
140	140	|(((
141		-Tue., 16.04 10:00
	140	+Tue. 16.04 10:00 CAP4 R.1115
142	142	)))|(((
143		-First Meeting/**Kick-Off **with a Latex and EasyChair introduction. The meeting will take place in room 11.1114/11.1115 in CAP4.
	142	+First Meeting/**Kick-Off **with a Latex and EasyChair introduction.
144	144	)))
145		-|(% colspan="1" %)Tue., 16.04 23:59|(% colspan="1" %)(% colspan="1" %)
	144	+|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
146	146	(((
147	147	Deadline for topic selection (via email to Jette).
148	148	)))
...	...	@@ -194,7 +194,7 @@
194	194	)))
195	195	|(% colspan="1" %)(% colspan="1" %)
196	196	(((
197		-Mo., 15.07, all day
	196	+tbd, all day
198	198	)))|(% colspan="1" %)(% colspan="1" %)
199	199	(((
200	200	Final presentations