Automated Sensor Firmware Development-Generation, Optimization, and Analysis
by Jens Rudolf, Manuel Strobel, Joscha Benz, Christian Haubelt, Martin Radetzki, and Oliver Bringmann
In MBMV 2019; 22nd Workshop-Methods and Description Languages for Modelling and Verification of Circuits and Systems, pages 1–12. VDE, 2019.
In MBMV 2019; 22nd Workshop-Methods and Description Languages for Modelling and Verification of Circuits and Systems, pages 1–12. VDE, 2019.