共 280 条
[11]
ALUR R, 1990, LECT NOTES COMPUT SC, V443, P322, DOI 10.1007/BFb0032042
[12]
Alur R, 2000, LECT NOTES COMPUT SC, V1790, P6
[13]
Alur Rajeev, 1992, LNCS, P209, DOI [DOI 10.1007/3-540-57318-6, DOI 10.1007/3-540-57318-6_30]
[14]
AMBERT F, 2002, FORMAL APPROACHES TE, P105
[15]
AMLA N, 1992, COMPASS 92 7 ANN C C, P15
[16]
AMMANN P, 1994, COMPASS '94 - PROCEEDINGS OF THE NINTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE, P69, DOI 10.1109/CMPASS.1994.318466
[17]
Using model checking to generate tests from specifications
[J].
SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS,
1998,
:46-54
[18]
AMMANN PE, 2000, P INT WORKSH AUT PRO, P64
[19]
[Anonymous], LNCS
[20]
[Anonymous], 1999, REC Z 100 SPEC DESCR