Pages that link to "Item:Q2390029"
From MaRDI portal
The following pages link to Provably correct runtime monitoring (Q2390029):
Displaying 5 items.
- Monitoring networks through multiparty session types (Q517050) (← links)
- Automation of the construction of models of normal program behavior (Q1758718) (← links)
- Java-MaC: A run-time assurance approach for Java programs (Q1878917) (← links)
- (Q3574323) (← links)
- Security monitor inlining and certification for multithreaded Java (Q5740632) (← links)