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