Publication:5915718: Difference between revisions
From MaRDI portal
Publication:5915718
Created automatically from import240313080341 |
(No difference)
|
Latest revision as of 22:49, 13 March 2024
DOI10.1007/s10703-018-0320-4zbMath1394.68005OpenAlexW2809618173MaRDI QIDQ5915718
No author found.
Publication date: 30 August 2018
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-018-0320-4
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- On the complexity of monitoring Orchids signatures, and recurrence equations
- Wireless protocol validation under uncertainty
- Quantitative monitoring of STL with edit distance
- Finite-trace linear temporal logic: coinductive completeness
- A brief account of runtime verification
- Theoretical Aspects of Computing - ICTAC 2004