STATECHARTS - A VISUAL FORMALISM FOR COMPLEX-SYSTEMS

[21] PARNAS DL, 1969, P 24 NAT ACM C, P379

[22] Pnueli A., 1977, 18th Annual Symposium on Foundations of Computer Science, P46, DOI 10.1109/SFCS.1977.32

[23] Reisig W., 2012, PETRI NETS INTRO, V4

[24] STRUCTURED ANALYSIS (SA) - LANGUAGE FOR COMMUNICATING IDEAS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (01) : 16 - 34

[25] Schwartz R. L., 1981, 2nd International Conference on Distributed Computing Systems, P446

[26] SPECIFICATION AND VERIFICATION OF COMMUNICATION PROTOCOLS IN AFFIRM USING STATE TRANSITION MODELS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (05) : 460 - 489

[27] TANENBAUM AS, 1981, COMPUTER NETWORKS

[28] THE TRANSFORMATION SCHEMA - AN EXTENSION OF THE DATA FLOW DIAGRAM TO REPRESENT CONTROL AND TIMING [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (02) : 198 - 210

[29] EXTENDING STATE TRANSITION DIAGRAMS FOR THE SPECIFICATION OF HUMAN COMPUTER INTERACTION [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (08) : 699 - 713

[30] TRANSITION NETWORK GRAMMARS FOR NATURAL LANGUAGE ANALYSIS [J]. COMMUNICATIONS OF THE ACM, 1970, 13 (10) : 591 - &

[21] PARNAS DL, 1969, P 24 NAT ACM C, P379

[22] Pnueli A., 1977, 18th Annual Symposium on Foundations of Computer Science, P46, DOI 10.1109/SFCS.1977.32

[23] Reisig W., 2012, PETRI NETS INTRO, V4

[24] STRUCTURED ANALYSIS (SA) - LANGUAGE FOR COMMUNICATING IDEAS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (01) : 16 - 34

[25] Schwartz R. L., 1981, 2nd International Conference on Distributed Computing Systems, P446

[26] SPECIFICATION AND VERIFICATION OF COMMUNICATION PROTOCOLS IN AFFIRM USING STATE TRANSITION MODELS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (05) : 460 - 489

[27] TANENBAUM AS, 1981, COMPUTER NETWORKS

[28] THE TRANSFORMATION SCHEMA - AN EXTENSION OF THE DATA FLOW DIAGRAM TO REPRESENT CONTROL AND TIMING [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (02) : 198 - 210

[29] EXTENDING STATE TRANSITION DIAGRAMS FOR THE SPECIFICATION OF HUMAN COMPUTER INTERACTION [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (08) : 699 - 713

[30] TRANSITION NETWORK GRAMMARS FOR NATURAL LANGUAGE ANALYSIS [J]. COMMUNICATIONS OF THE ACM, 1970, 13 (10) : 591 - &