Copilot
From MaRDI portal
swMATH32258MaRDI QIDQ43969FDOQ43969
Author name not available (Why is that?)
Official website: https://leepike.github.io/pub_pages/rv2010.html
Cited In (14)
- Introduction to the special issue on runtime verification
- LOLA
- Foundations of Boolean stream runtime verification
- FoCs
- LUSTRE
- JPAX
- Java-MOP
- Yampa
- DReX
- Java-MaC
- Runtime verification of embedded real-time systems
- Fault-tolerant functional reactive programming (extended version)
- Time-triggered runtime verification
- Algorithms for monitoring real-time properties
This page was built for software: Copilot
