Changes for page UML State Machine Simulation/Model Checking with Maude
Last modified by Richard Kreissig on 2023/09/14 10:32
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -17,7 +17,7 @@ 17 17 18 18 == Standalone UML Maude == 19 19 20 -You can download a standalone version of the UML Maude implementation here:[[attach:UML_SM_Maude.zip]] 20 +You can download a standalone version of the UML Maude implementation here: [[(% class="icon" %) (%%)http:~~/~~/trac.rtsys.informatik.uni-kiel.de/trac/kieler/raw-attachment/wiki/Projects/UMLSim/UML_SM_Maude.zip>>url:http://trac.rtsys.informatik.uni-kiel.de/trac/kieler/raw-attachment/wiki/Projects/UMLSim/UML_SM_Maude.zip||shape="rect" class="ext-link"]] 21 21 22 22 ---- 23 23
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -8 6508361 +885046 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8 650836/UML State Machine Simulation/Model Checking with Maude1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/885046/UML State Machine Simulation/Model Checking with Maude