Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process.

Odile Laurent

Browse the full ICST paper archive.