Object-oriented real time systems modeling and verification.

David Chenho Kung John Lin Pei Hsia Bill Carroll

Published in: WORDS (1997)

Keyphrases

real time systems
object oriented
object oriented programming language
real time
embedded real time systems
data model
database applications
embedded systems
real time database systems
programming language
distributed systems
low cost
model checking
modeling language
high level
databases
database