Formal Validation of Realtime Middleware.

John Enright David W. Miller

Published in: J. Aerosp. Comput. Inf. Commun. (2007)

Keyphrases

information retrieval
real time
databases
distributed systems
publish subscribe
low level
formal specification
high speed
quality of service
formal model
context awareness
formal models
website
three dimensional
computer vision
mobile agents
neural network
home network