78412821
May 4, 2004
A rigorously-defined visual synchronous state machine model devoted to programming control-dominated software; It is deterministic, supports heirarchy, concurrency and preemption and enables the creation of larger and very complex state diagrams scalable to large electronic systems
Machinery