A train/gate system under analysis
1280 x 947
(90 KB)
SUA selection in an analysis
1280 x 947
(90 KB)
Name selection in an analysis
1280 x 947
(91 KB)
Can't save as TA if a Lapsus model is associated
1280 x 947
(100 KB)
Change layout from TA to Lapsus and back
1280 x 947
(80 KB)
The layout was changed
1280 x 947
(99 KB)
Creation of a new component: select type
525 x 500
(17 KB)
Drag goals into an analysis
1280 x 947
(86 KB)
Drag components into a SUA
1280 x 947
(82 KB)
VTS editor
1280 x 947
(109 KB)
Instantiation of variables during an analysis
1280 x 947
(91 KB)
Creation of a new component: select name
525 x 500
(12 KB)
Creation of a new analysis
1280 x 947
(99 KB)
A System Under Analysis (SUA)
1280 x 947
(88 KB)
A System Under Analysis (SUA)
1280 x 947
(83 KB)
A timed automaton
1280 x 947
(103 KB)
Extended Eclipse "New..." wizard
525 x 500
(23 KB)