共 63 条
[1]
Abi-Antoun M, 2006, IEEE INT CONF AUTOM, P47
[2]
A REALLY TEMPORAL LOGIC
[J].
30TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE,
1989,
:164-169
[3]
[Anonymous], 4627 RFC IETF
[4]
[Anonymous], 1997, P CASCON
[5]
[Anonymous], UN MOD LANG UML
[6]
[Anonymous], MET FAC MOF 2 0 QUER
[7]
[Anonymous], 1979, Computers and Intractablity: A Guide to the Theory of NP-Completeness
[8]
[Anonymous], 1981, Software Engineering Economics
[9]
[Anonymous], 2001, INT WORKSHOP EMBEDDE
[10]
Baldwin CarlissY., 1999, DESIGN RULES, V1

