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


Vol-1233/keynote⫷Vol-1233/paper1⫸Vol-1233/paper2
Ernesto PosseJürgen Dingel

Contract-Based Specification and Analysis of AADL Models