Title | ||
---|---|---|
Applying the SCR requirements method to a weapons control panel: an experience report |
Year | DOI | Venue |
---|---|---|
1998 | 10.1145/298595.298863 | FMSP |
Keywords | Field | DocType |
model checking,software development,verification,formal methods,requirements,formal specification,software requirements,simulation,simulation software,formal method,specification | Model checking,Systems engineering,Software engineering,Computer science,Formal specification,Formal methods | Conference |
ISBN | Citations | PageRank |
0-89791-954-8 | 17 | 1.98 |
References | Authors | |
15 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Constance Heitmeyer | 1 | 583 | 39.53 |
James Kirby | 2 | 274 | 19.31 |
Bruce G. Labaw | 3 | 632 | 47.44 |