Managing (Requirements) Evolutions of High Assurance Systems.

Michel Lemoine, Jack Foisseau

Browse the full RE paper archive.