System Modeling

• 1 January 1992
• book chapter
• Published by Springer Nature
• p. 129-145
• https://doi.org/10.1007/978-1-4615-3498-3_5

Abstract

Keywords

• SAFETY
• MODELING
• SEMANTICS
• FSM
• MACHINE
• SUBSYSTEMS
• NODES
• DEADLOCKS
• SPLIT
• SPECIFIED
• SPECIFIED