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