Formal Modeling of Space Shuttle Software Change Requests using SCR.

Virginie Wiels, Steve M. Easterbrook

Browse the full RE paper archive.