| emsoft | participants

Bernd Finkbeiner

EMSOFT 2019: 19th International Conference on Embedded Software

FPGA Stream-Monitoring of Real-time Properties

Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, and Hazem Torfah