The following pages link to Rachel Cardell-Oliver (Q204602):
Displayed 5 items.
- An embedding of timed transition systems in \(HOL\) (Q1309256) (← links)
- Heuristic algorithm for finding boundary cycles in location-free low density wireless sensor networks (Q1957827) (← links)
- (Q2703749) (← links)
- An equivalence theorem for the operational and temporal semantics of real-time, concurrent programs (Q4209296) (← links)
- Conformance tests for real-time systems with timed automata specifications (Q5944218) (← links)