Verification of Schedulability for Real-Time Programs.

Zhiming Liu Mathai Joseph Tomasz Janowski

Published in: Formal Aspects Comput. (1995)

Keyphrases

real time
low cost
control system
database
video sequences
vision system
computer programs
high fidelity
hardware designs
information systems
source code
provably correct
symbolic execution