Stuart R. Faulk, Constance L. Heitmeyer
Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method
ICSE, 1997.
@inproceedings{ICSE-1997-FaulkH, author = "Stuart R. Faulk and Constance L. Heitmeyer", booktitle = "{Proceedings of the 19th International Conference on Software Engineering}", doi = "10.1145/253228.253542", editor = "W. Richards Adrion and Alfonso Fuggetta and Richard N. Taylor and Anthony I. Wasserman", isbn = "0-89791-914-9", pages = "637--638", publisher = "{ACM}", title = "{Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method}", year = 1997, }