Summary

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

Details

Page properties

Author

...	...	@@ -1,1 +1,1 @@
1		-XWiki.ssm
	1	+XWiki.uru

Content

...	...	@@ -94,8 +94,6 @@
94	94	Implement more sophisticated debugging mechanisms (e.g. breakpoints, observers) for SCCharts
95	95	* **Environment Simulations for SCCharts** (Master/Bachelor)
96	96	Develop a system to simulate environments (e.g. for Lego Mindstorms) for SCCharts in KIELER
97		-* **SCCharts Verification** (Master/Bachelor)
98		-Add the possibility to perfom model checking on SCCharts
99	99	\\\\
100	100	* **Quartz **(Master)
101	101	Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-15532283
	1	+15532281

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/15532283/Topics for Student Theses
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/15532281/Topics for Student Theses