Michel Lemoine, Jack Foisseau. Managing (Requirements) Evolutions of High Assurance Systems. In 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 9-13 September 2002, Essen, Germany. pages 91, IEEE Computer Society, 2002. [doi]
Abstract is missing.