Pages that link to "Item:Q706508"
From MaRDI portal
The following pages link to Advanced features of duration calculus and their applications in sequential hybrid programs (Q706508):
Displaying 8 items.
- Duration calculus: Logical foundations (Q1377324) (← links)
- Duration calculus. A formal approach to real-time systems. (Q1428351) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- A Formal Model for a Hybrid Programming Language (Q2814619) (← links)
- Prefix and projection onto state in duration calculus (Q2842576) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709977) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709993) (← links)
- Formal Methods at the Crossroads. From Panacea to Foundational Support (Q5900548) (← links)