Skip to main content
assistive.skiplink.to.breadcrumbs
assistive.skiplink.to.header.menu
assistive.skiplink.to.action.menu
assistive.skiplink.to.quick.search
Log in
Help / Tips
Help
Online Help
Keyboard Shortcuts
Feed Builder
What’s new
Available Gadgets
About Confluence
Search
Quick Search
Hit enter to search
Magic Model Analyst 2024x
Content
Pages
Blog
Space Tools
Settings
Content Tools
136731799
MSI2024x
3
true
Breadcrumbs
Space Tools
Overview
Content Tools
Browse Pages
Undefined Pages
Attachments
RSS Feeds
Filter By File Extension:
Filter By Label:
Name
Size
Creator
Creation Date
Last Modification Date
Labels
Attached To
PNG File
display-lifelines-dialog.png
37 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
Creating a model for interaction simulation
PNG File
spec-of-classifier-behavior.png
63 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
Creating a model for interaction simulation
PNG File
spec-of-message.png
66 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
Creating a model for interaction simulation
PNG File
spec-of-message-b.png
55 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
Creating a model for interaction simulation
PNG File
cst-containment-tree.png
6 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
Creating a model for interaction simulation
PNG File
cst-containment-tree-b.png
8 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
Creating a model for interaction simulation
PNG File
cst-containment-tree-c.png
7 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
Creating a model for interaction simulation
PNG File
cst-containment-tree-d.png
7 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
Creating a model for interaction simulation
PNG File
InteractionSimulation7.png
9 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
Creating a model for interaction simulation
PNG File
InteractionSimulation9.png
11 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
Creating a model for interaction simulation
PNG File
InteractionSimulation11.png
11 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
Creating a model for interaction simulation
PNG File
InteractionSimulation12.png
12 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
Creating a model for interaction simulation
PNG File
InteractionSimulation14.png
13 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
Creating a model for interaction simulation
PNG File
InteractionSimulation16.png
13 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
Creating a model for interaction simulation
PNG File
Combined Fragment.PNG
32 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
Combined fragment
PNG File
passfail_verdict.png
16 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
Test case verdict
PNG File
State Invariant with Time Constraint.PNG
60 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
State invariant
PNG File
State Invariant.PNG
100 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
State invariant
PNG File
Duration Constraints between State Invariants.PNG
91 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
State invariant
PNG File
State Invariant Containing Constraints.PNG
93 kB
Inga A.
Sept 22, 2023 10:41
Sept 22, 2023 10:41
No labels
Page:
State invariant
Prev
1
…
24
25
26
27
28
29
30
31
32
33
34
35
36
…
65
Next
null
