Changes for page Leveraging Ptolemy Semantics (KlePto)
Last modified by Richard Kreissig on 2023/09/14 10:55
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -45,7 +45,7 @@ 45 45 46 46 ---- 47 47 48 -== Simulating SyncCharts with KlePto == 48 +== Simulating SyncCharts? with KlePto == 49 49 50 50 To simulate a SyncChart, take care of the following facts: 51 51
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -88504 31 +885041 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/88504 3/Leveraging Ptolemy Semantics (KlePto)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/885041/Leveraging Ptolemy Semantics (KlePto)