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


Vol-503/paper-3⫷Vol-503/paper-4⫸Vol-503/paper-5
Daniel MonteverdeAlfredo OliveroSergio Yovineand Victor Braberman

VTS-based Specification and Verification of Behavioral Properties of AADL Models