Diagrammatic Specification of Mobile Real-Time Systems.

Published in: Diagrams (2010)

Keyphrases

real time systems
reactive systems
distributed systems
real time
mobile phone
embedded systems
mobile devices
timing constraints
mission critical
real time database systems
high level
formal specification
mobile commerce
mobile computing
anytime algorithms
software systems
multi agent systems
mobile users