J-LO

swMATH32260MaRDI QIDQ43971FDOQ43971

Author name not available (Why is that?)

Cited In (3)

• Parametric Trace Slicing and Monitoring
• Provably correct runtime monitoring
• Semantics and algorithms for parametric monitoring

This page was built for software: J-LO