Finite state modelling in program development

• 1 January 1975
• conference paper
• Published by Association for Computing Machinery (ACM)
• Vol. 10  (6) , 221-227
• https://doi.org/10.1145/800027.808443

Abstract

Keywords

• FINITE STATE MACHINE
• MODULE TESTER
• MULTI-LEVEL MODELLING
• PROGRAM TESTING
• STRUCTURED PROGRAMMING