Pages that link to "Item:Q5709996"
From MaRDI portal
The following pages link to Theoretical Aspects of Computing - ICTAC 2004 (Q5709996):
Displaying 10 items.
- Specification and refinement of mobile systems in MTLA and mobile UML (Q820132) (← links)
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- Decidability of mean value calculus (Q1288439) (← links)
- Formalization of time and space (Q1293892) (← links)
- An abstract model for proving safety of autonomous urban traffic (Q1786569) (← links)
- Unifying proof methodologies of duration calculus and timed linear temporal logic (Q1882794) (← links)
- An Abstract Model for Proving Safety of Autonomous Urban Traffic (Q3179406) (← links)
- No Need Knowing Numerous Neighbours (Q3449630) (← links)
- Safe and Optimal Adaptive Cruise Control (Q3449638) (← links)
- (Q4325611) (← links)