Simulation-Based Verification of Avionic Systems Deployed on IMA Architectures.

Tiyam Robati, Amine El Kouhen, Abdelouahed Gherbi, John Mullins

Browse the full MODELS paper archive.