共 9 条
[1]
[Anonymous], VERIFICATION SEQUENT
[2]
BOISSE S, 2007, IEEE INT C ROBOTICS, V2007, P2007
[3]
Cassandras C. G., 2008, INTRO DISCRETE EVENT
[4]
Heitmeyer C., 1996, FORMAL METHODS REAL
[5]
HOPEROFT JE, 2007, INTRO AUTOMATA LANGU, P3
[6]
Laplante P.A., 1997, REAL TIME SYSTEMS DE, V2nd
[7]
Lewis RobertO., 1992, Independent Verification and Validation: a Life Cycle Engineering Process for Quality Software
[8]
MOLINETE B, 2004, CYBERCARS CLOSE COM
[9]
Peterson J.L., 1981, Petri Net Theory and the Modeling of Systems