Author:
Barringer Howard,Falcone Ylies,Finkbeiner Bernd,Havelund Klaus,Lee Insup,Pace Gordon,Roşu Grigore,Sokolsky Oleg,Tillmann Nikolai
Publisher
Springer Berlin Heidelberg
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Time for Traffic Manoeuvres;Lecture Notes in Computer Science;2023
2. Runtime Verification: Passing on the Baton;Formal Methods in Outer Space;2021
3. Model-Based Design of Resilient Systems Using Quantitative Risk Assessment;Lecture Notes in Computer Science;2020
4. Instruction trace analysis and enhanced debugging in embedded systems;Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2018;2018-10-01
5. Introduction to the special issue on runtime verification;Formal Methods in System Design;2018-06-21