3155 search results - page 6 / 631 » Maintenance: Less Is Not More |
97
Voted
VRML
2005
ACM
15 years 9 months ago
2005
ACM
127
click to vote
KBSE
2002
IEEE
15 years 8 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
105
Voted
VRML
1999
ACM
15 years 7 months ago
1999
ACM
87
Voted
SIGUCCS
1993
ACM
15 years 7 months ago
1993
ACM
