A tool for modeling and verifying real-time systems.

Wael M. Elseaidy Rance Cleaveland

Published in: ICECCS (1995)

Keyphrases

real time systems
object oriented programming language
architectural model
real time
distributed systems
embedded real time systems
embedded systems
real time database systems
mission critical
artificial intelligence
low cost
timing constraints
machine learning
artificial neural networks
open source