Pages that link to "Item:Q685609"

The following pages link to Embedding time granularity in a logical specification language for synchronous real-time systems (Q685609):

Displaying 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)