共 21 条
- [1] Berard B., 2001, Sys- tems and Software Verification, Model-Checking Techniques and Tools
- [2] Borger Egon, 2003, Abstract State Machines: A Method for High-Level System Design and Analysis
- [3] SYMBOLIC MODEL CHECKING - 1020 STATES AND BEYOND [J]. INFORMATION AND COMPUTATION, 1992, 98 (02) : 142 - 170
- [5] Cassandras C. G., 2008, INTRO DISCRETE EVENT
- [6] Chen YL, 2000, PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, P941, DOI 10.1109/CCA.2000.897591
- [7] CHENG KT, 1993, ACM IEEE D, P86
- [8] Supervisory control of discrete event systems with distinguishers [J]. AUTOMATICA, 2015, 56 : 93 - 104
- [9] Halbwachs Nicolas., 1993, Synchronous Programming of Reactive Systems