Integrating Safety Certification Into Model-Based Testing of Safety-Critical Systems.

Aiman Gannous, Anneliese Andrews

Browse the full ISSRE paper archive.