Pages that link to "Item:Q3564892"
From MaRDI portal
The following pages link to Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R) (Q3564892):
Displaying 4 items.
- Semantics of temporal constrained objects (Q1996867) (← links)
- Verification of opacity and diagnosability for pushdown systems (Q2375627) (← links)
- Idealized coinductive type systems for imperative object-oriented programs (Q3006157) (← links)
- Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? (Q3067532) (← links)
