共 41 条
- [1] ALMEIDA E, 2005, 16 IFAC WORLD C JUL
- [2] ALMEIDA E, 2004, P IFAC WORKSH DISCR, P31
- [4] An algebraic approach to static analysis of active database rules [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 2000, 25 (03): : 269 - 332
- [5] Berry G, 2000, FOUNDAT COMPUT, P425
- [6] Cassandras C.G., 2021, Introduction to Discrete Event Systems, DOI [10.1007/978-3-030-72274-6, DOI 10.1007/978-3-030-72274-6]
- [7] Chaudhry N., 1998, IEEE Transactions on Components, Packaging & Manufacturing Technology, Part C (Manufacturing), V21, P217, DOI 10.1109/3476.720420
- [8] Clark E., 1999, MODEL CHECKING
- [9] DITTRICH KR, 1995, INT WORKSH RUL DAT S
- [10] Modular verification of modular finite state machines [J]. 2004 43RD IEEE CONFERENCE ON DECISION AND CONTROL (CDC), VOLS 1-5, 2004, : 972 - 979