共 30 条
[1]
ANDRADE L, 2002, P INT DES PROC TECHN
[2]
BAKERA M, GEAR MODEL CHECKING
[3]
BERG T, 2005, P FMICS 05 ACM 10 IN
[4]
BJAHOR M, 2006, INNOVATIONS SYSTEM S
[5]
CLARKE EM, 2001, MODEL CHECING
[7]
Czarnecki K., 2004, Unconventional Programming Paradigms. International Workshop UPP 2004. Revised Selected and Invited Papers (Lecture Notes in Computer Science Vol. 3566), P326
[8]
DWYER M, SPECIFICATION PATTER
[9]
Dwyer M. B., 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002), P411, DOI 10.1109/ICSE.1999.841031
[10]
Gouveia J, 2001, TOOLS, V38, P184, DOI 10.1109/TOOLS.2001.911772