Global Specification and Validation of Embedded Systems

Ähnlech Bicher