Firmware Firmly under Control: New Optimization and Verification Techniques for Application Specific Electronic System

Author(s):
Daniel Große, Manuel Strobel, Daniel Mueller-Gritschneder, Vladimir Herdt, and Tobias Ludwig
Location:
Europe
Year:
2018
Type:
Presentation
Format:
pdf