Stuhlsatzenhaus 5 66123 Saarbrücken (Germany)
FPGA Stream-Monitoring of Real-time Properties
ACM Transactions on Embedded Computing Systems
