Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems.

Aiman Gannous, Anneliese Andrews, Barbara Gallina

Browse the full ISSRE paper archive.