Verification of Real-Time Systems by Abstraction of Time Constraints.

Mustapha Bourahla Mohamed Benmohamed

Published in: IPDPS (2003)

Keyphrases

real time systems
timing constraints
real time
distributed systems
real time database systems
mission critical
model checking
object oriented programming language
high level
information processing
hardware designs
real time embedded
embedded real time systems