Pages that link to "Item:Q897648"
From MaRDI portal
The following pages link to HRELTL: a temporal logic for hybrid systems (Q897648):
Displaying 4 items.
- Tightening the contract refinements of a system architecture (Q1654565) (← links)
- A complete uniform substitution calculus for differential dynamic logic (Q1707599) (← links)
- Diagnosability of fair transition systems (Q2152493) (← links)
- Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions (Q2178216) (← links)
