Pages that link to "Item:Q5900548"
From MaRDI portal
The following pages link to Formal Methods at the Crossroads. From Panacea to Foundational Support (Q5900548):
Displaying 6 items.
- Model checking RAISE applicative specifications (Q470000) (← links)
- Advanced features of duration calculus and their applications in sequential hybrid programs (Q706508) (← links)
- Duration calculus: Logical foundations (Q1377324) (← links)
- Duration calculus. A formal approach to real-time systems. (Q1428351) (← links)
- (Q4499180) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709993) (← links)