Title :
The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support
Author :
Heitmeyer, Constance ; Kirby, James ; Labaw, Bruce
Author_Institution :
Naval Research Laboratory
Keywords :
Accidents; Control systems; Costs; Embedded system; Error correction; Frequency; Laboratories; Real time systems; Robustness; Thyristors;
Conference_Titel :
Software Engineering, 1997., Proceedings of the 1997 (19th) International Conference on
Print_ISBN :
0-89791-914-9
DOI :
10.1109/ICSE.1997.610430
