Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems.

Robyn R. Lutz, Ann Patterson-Hine, Anupa Bajwa

Browse the full ISSRE paper archive.