CoRSA - A Constraint Based Approach to Requirements and Safety Analysis

Kevin Hollingworth, Amer Saeed. CoRSA - A Constraint Based Approach to Requirements and Safety Analysis. In Wolfgang D. Ehrenberger, editor, Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP 98, Heidelberg, Germany, October 5-7, 1998, Proceedings. Volume 1516 of Lecture Notes in Computer Science, pages 3-15, Springer, 1998. [doi]

Abstract

Abstract is missing.