Changes for page Available Topics
Last modified by Alexander Schulz-Rosengarten on 2025/10/06 14:26
<
>
edited by Alexander Schulz-Rosengarten
on 2024/03/11 11:37
on 2024/03/11 11:37
edited by Soeren Domroes
on 2024/02/06 13:00
on 2024/02/06 13:00
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. als1 +XWiki.sdo - Content
-
... ... @@ -6,14 +6,13 @@ 6 6 7 7 **Advisors:** Niklas Rentz, Alexander Schulz-Rosengarten, Reinhard von Hanxleden. 8 8 9 -In a nutshell, the REAKT-Initiative aims to make railway systems fit for the future, with the track Malente – Lütjenburg available as real-world laboratory ([[https:~~/~~/www.schiene-m-l.de/>>url:https://www.schiene-m-l.de/||rel="nofollow" shape="rect" class="external-link"]] and [[https:~~/~~/reakt.sh/>>https://reakt.sh/]]).9 +In a nutshell, the REAKT-Initiative aims to make railway systems fit for the future, with the track Malente – Lütjenburg available as real-world laboratory ([[https:~~/~~/www.schiene-m-l.de/>>url:https://www.schiene-m-l.de/||rel="nofollow" shape="rect" class="external-link"]]). 10 10 11 11 There is a broad set of topics to be worked on, also as a Bachelor or Master's thesis. 12 -Things are developing faster than this web site can keep up, we recommend to contact one of the advisors listed above. 13 13 14 - [[image:url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/142606491/1.png?version=1&modificationDate=1678441658000&api=v2||height="312" width="347"]][[image:url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/142606491/5.jpg?version=1&modificationDate=1678441784000&api=v2||height="311"width="414"]]13 +More information is found at the [[REAKT Project 2023 Home>>doc:Projects.REAKT Project 2023 Home.WebHome||shape="rect"]], but as things are developing faster than this web site can keep up, we recommend to contact one of the advisors listed above. 15 15 16 -[[image:url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/142606491/ 2.jpg?version=1&modificationDate=1678441677000&api=v2||height="76" width="172"]][[image:url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/142606491/3.jpg?version=1&modificationDate=1678441718000&api=v2||height="83" width="113"]]15 +[[image:url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/142606491/1.png?version=1&modificationDate=1678441658000&api=v2]][[image:url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/142606491/5.jpg?version=1&modificationDate=1678441784000&api=v2]][[image:url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/142606491/2.jpg?version=1&modificationDate=1678441677000&api=v2]][[image:url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/142606491/3.jpg?version=1&modificationDate=1678441718000&api=v2]] 17 17 18 18 = Automatic Graph Layout = 19 19 ... ... @@ -60,5 +60,6 @@ 60 60 ==== **Topics** ==== 61 61 62 62 * [[doc:Theses.Topics for Student Theses.Reevaluation Suggestions in System-Theoretic Process Analysis.WebHome]] 62 +* [[doc:Theses.Topics for Student Theses.Logical Simplification for Context Tables in the STPA VS Code Extension.WebHome]] 63 63 64 64