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.uru
	1	+XWiki.ssm

Content

...	...	@@ -94,6 +94,8 @@
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
97	97	\\\\
98	98	* **Quartz **(Master)
99	99	Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.

Confluence.Code.ConfluencePageClass[0]

Id

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

URL

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