Aperçu gratuit du livre Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08
Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08