Vol-1553⫷ Vol-1554 ⫸Vol-1555
urn:nbn:de:0074-1554-0


Vol-1554/PD_MoDELS_2015_paper_17⫷Vol-1554/PD_MoDELS_2015_paper_18.pdf
Amine El KouhenAbdelouahed GherbiJohn MullinsRobati Tiyam

Simulation-Based Verification of Avionic Systems Deployed on IMA Architectures