Vol-506⫷ Vol-507 ⫸Vol-508
urn:nbn:de:0074-507-0


Vol-507/paper-5⫷Vol-507/paper-6⫸Vol-507/paper-7

Formal Design Models for Distributed Embedded Control Systems