Pages that link to "Item:Q5896950"
From MaRDI portal
The following pages link to Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896950):
Displaying 8 items.
- Runtime verification for biochemical programs (Q271709) (← links)
- Decentralised LTL monitoring (Q346789) (← links)
- Combining test case generation and runtime verification (Q555778) (← links)
- Organising LTL monitors over distributed systems with a global clock (Q681471) (← links)
- Synthesising correct concurrent runtime monitors (Q888412) (← links)
- Computer says no: verdict explainability for runtime monitors using a local proof system (Q1996872) (← links)
- Monitorability for the Hennessy-Milner logic with recursion (Q2402551) (← links)
- Weight monitoring with linear temporal logic (Q4635594) (← links)