{"labels":{"en":"Simulation-Based Verification of Avionic Systems Deployed on IMA Architectures"},"descriptions":{"en":"scientific paper published in CEUR-WS Volume 1554"},"claims":{"P31":"Q13442814","P1433":"Q113544444","P1476":{"text":"Simulation-Based Verification of Avionic Systems Deployed on IMA Architectures","language":"en"},"P407":"Q1860","P953":"https://ceur-ws.org/Vol-1554/PD_MoDELS_2015_paper_18.pdf","P50":[{"value":"Q97413602","qualifiers":{"P1545":"2"}}],"P2093":[{"value":"Amine El Kouhen","qualifiers":{"P1545":"1"}},{"value":"John Mullins","qualifiers":{"P1545":"3"}},{"value":"Robati Tiyam","qualifiers":{"P1545":"4"}}]}}