Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation.
Saved in:
| Title: | Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation. |
|---|---|
| Authors: | BÚR, MÁRTON1, bur@mail.mcgill.ca, MARUSSY, KRISTÓF2, marussy@mit.bme.hu, MEYER, BRETT H.1, brett.meyer@mcgill.ca, VARRÓ, DÁNIEL1, daniel.varro@mcgill.ca |
| Source: | ACM Transactions on Embedded Computing Systems; Nov2021, Vol. 20 Issue 6, p1-36, 36p |
| Database: | Applied Science & Technology Source |
| ISSN: | 15399087 |
|---|---|
| DOI: | 10.1145/3471904 |
