共 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