An Approach to Modeling and Verification of Real-Time Systems.

Roman Gumzej Matjaz Colnaric

Published in: ISORC (2001)

Keyphrases

real time systems
real time
distributed systems
mission critical
embedded systems
embedded real time systems
model checking
database
machine learning
database systems
dynamic programming
real time embedded
object oriented programming language