R. Cardell-Oliver

Available identifiers

zbMath Open cardell-oliver.rachelMaRDI QIDQ204602

List of research outcomes

Publication	Date of Publication	Type
Heuristic algorithm for finding boundary cycles in location-free low density wireless sensor networks	2010-09-27	Paper
Conformance tests for real-time systems with timed automata specifications	2001-09-27	Paper
Analysis of scheduling behaviour using generic timed automata	2001-05-08	Paper
An equivalence theorem for the operational and temporal semantics of real-time, concurrent programs	1998-09-27	Paper
An embedding of timed transition systems in \(HOL\)	1994-03-13	Paper

Research outcomes over time

This page was built for person: R. Cardell-Oliver