Pages that link to "Item:Q685609"
From MaRDI portal
The following pages link to Embedding time granularity in a logical specification language for synchronous real-time systems (Q685609):
Displayed 4 items.
- A timeband framework for modelling real-time systems (Q987537) (← links)
- Two-sorted metric temporal logics (Q1391098) (← links)
- Decidability results for metric and layered temporal logics (Q1815429) (← links)
- Modelling temporal behaviour in complex systems with Timebands (Q2248089) (← links)