Vol-502⫷ Vol-503 ⫸Vol-504
urn:nbn:de:0074-503-0


Vol-503/paper-4⫷Vol-503/paper-5⫸Vol-503/paper-6
Mohamed Yassin ChkouriAnne RobertMarius Bozgaand Joseph Sifakis

Translating AADL into BIP - Application to the Verification of Real-time Systems