The following pages link to (Q5028457):
Displaying 4 items.
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- A Distributed Logic for Networked Cyber-Physical Systems (Q2894562) (← links)
- Geometric Model Checking of Continuous Space (Q5060193) (← links)
- A spatial logic with time and quantifiers (Q6546610) (← links)