Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress).

Manfred Broy

Browse the full ISoLA paper archive.