Difference between pages "UML-B notes for 0.4.4" and "File:Modes train 983gf890j4tgvn.png"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Colin |
imported>Ilya.lopatkin (Simple example of a mode diagram. There are three modes for a train and three transitions between the modes.) |
||
Line 1: | Line 1: | ||
− | + | Simple example of a mode diagram. There are three modes for a train and three transitions between the modes. | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− |
Revision as of 12:51, 2 September 2010
Simple example of a mode diagram. There are three modes for a train and three transitions between the modes.