Vol-1232⫷ Vol-1233 ⫸Vol-1234
urn:nbn:de:0074-1233-0


Vol-1233/paper1⫷Vol-1233/paper2⫸Vol-1233/paper3

An Extension for AADL to Model Mixed-Criticality Avionic Systems Deployed on IMA architectures with TTEthernet