Changes for page Available Topics
Last modified by Alexander Schulz-Rosengarten on 2025/10/06 14:26
<
>
edited by Alexander Schulz-Rosengarten
on 2018/10/11 12:14
on 2018/10/11 12:14
edited by Alexander Schulz-Rosengarten
on 2018/10/11 12:14
on 2018/10/11 12:14
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
-
... ... @@ -49,7 +49,7 @@ 49 49 Add the possibility to perfom model checking on SCCharts 50 50 * **Raceyard evaluation** (Master) 51 51 Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments 52 -* **Causality Visualization**52 +* Causality Visualization 53 53 Visualizing causality and scheduling problems in the diagram to guide the modeller 54 54 55 55 //SCCharts Code Generation & Optimizations//
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -5 08232321 +49152031 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/5 0823232/Topics for Student Theses1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/49152031/Topics for Student Theses