Firmware Synthesis for Ultra-Thin IoT Devices Based on Model Integration.

Arthur Khlwein, Anton Paule, Leon Hielscher, Wolfgang Rosenstiel, Oliver Bringmann

Browse the full MODELS paper archive.