A formal design language for real-time systems with data.

Steven Bradley William Henderson David Kendall Adrian Robson

Published in: Sci. Comput. Program. (2001)

Keyphrases

real time systems
data sets
database
data points
case study
cooperative
data analysis
data sources
real time
formal language