The following pages link to Java-MaC (Q31823):
Displaying 10 items.
- A theory of monitors (Q2051767) (← links)
- Time-triggered runtime verification (Q2248067) (← links)
- Efficient abstraction algorithms for predicate detection (Q2357148) (← links)
- Provably correct runtime monitoring (Q2390029) (← links)
- A Theory of Monitors (Q2811337) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308393) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703785) (← links)
- Computer Aided Verification (Q5716577) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896950) (← links)
- Introduction to the special issue on runtime verification (Q5920295) (← links)