An Object-Oriented Real Time Systems Modeling and Verification Methodology.

David Chenho Kung Scott R. Oksanen Jyhjong Lin

Published in: COMPSAC (1996)

Keyphrases

real time systems
distributed systems
timing constraints
real time
embedded systems
object oriented
architectural model
embedded real time systems
model checking
artificial intelligence
high level
relational databases
user interface
dynamic programming