LIBRARY Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL’08 2009 · ENGLISH · PDF View details →
LIBRARY Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL’08 2009 · ENGLISH · PDF View details →