Components and Contracts

Embedded Systems Design - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31973-3_13 ◽

2005 ◽

pp. 139-159

Author(s):

Bruno Bouyssounouse ◽

Joseph Sifakis

Download Full-text