Abstract: Algebraic State Transition Diagram (ASTD) is a formal, graphical, state-based modeling language for the design of complex critical systems. It offers a set of process algebra operators to ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback