LIBRARY Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems 2011 · ENGLISH · PDF View details →
LIBRARY Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009 2010 · 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 →
LIBRARY Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring 2008 · ENGLISH · PDF View details →
LIBRARY Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems 2011 · ENGLISH · PDF View details →
LIBRARY Dynamically Reconfigurable Systems: Architectures, Design Methods and Applications 2010 · ENGLISH · PDF View details →
LIBRARY Dynamically Reconfigurable Systems: Architectures, Design Methods and Applications 2010 · 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 →