Title :
Analysis of software design modeled by multiple finite state machines
Author_Institution :
Bell Laboratories
Keywords :
Algorithm design and analysis; Application software; Automata; Control system analysis; Data processing; Process control; Software algorithms; Software design; Software systems; System recovery;
Conference_Titel :
Computer Software and Applications Conference, 1978. COMPSAC '78. The IEEE Computer Society's Second International
DOI :
10.1109/CMPSAC.1978.810370