STATECHARTS - A VISUAL FORMALISM FOR COMPLEX-SYSTEMS

[1] BARTUR A, 1986, USING STATECHARTS DE

[2] BERRY G, 1985, LECTURE NOTES COMPUT, V197

[3] AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS USING TEMPORAL LOGIC SPECIFICATIONS [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1986, 8 (02): : 244 - 263

[4] DRUSINSKY D, 1985, CS8506 WEIZM I SCI D

[5] EDWARDS MD, 1983, COMPUTER HARDWARE DE, P55

[6] FERRENTINO AB, 1977, P IEEE COMPAS 77 C, P242

[7] TRANSITION DIAGRAM-BASED CAI-HELP SYSTEMS [J]. INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1977, 9 (04): : 399 - 413

[8] Green T. R. G., 1982, Behaviour and Information Technology, V1, P3, DOI 10.1080/01449298208914433

[9] Hamilton M., 1976, IEEE Transactions on Software Engineering, VSe-2, P9, DOI 10.1109/TSE.1976.233798

[10] Harel D., 1985, LOGICS MODELS CONCUR, P477, DOI DOI 10.1007/978-3-642-82453-1_17

[1] BARTUR A, 1986, USING STATECHARTS DE

[2] BERRY G, 1985, LECTURE NOTES COMPUT, V197

[3] AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS USING TEMPORAL LOGIC SPECIFICATIONS [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1986, 8 (02): : 244 - 263

[4] DRUSINSKY D, 1985, CS8506 WEIZM I SCI D

[5] EDWARDS MD, 1983, COMPUTER HARDWARE DE, P55

[6] FERRENTINO AB, 1977, P IEEE COMPAS 77 C, P242

[7] TRANSITION DIAGRAM-BASED CAI-HELP SYSTEMS [J]. INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1977, 9 (04): : 399 - 413

[8] Green T. R. G., 1982, Behaviour and Information Technology, V1, P3, DOI 10.1080/01449298208914433

[9] Hamilton M., 1976, IEEE Transactions on Software Engineering, VSe-2, P9, DOI 10.1109/TSE.1976.233798

[10] Harel D., 1985, LOGICS MODELS CONCUR, P477, DOI DOI 10.1007/978-3-642-82453-1_17