Sign in

Verification of Schedulability for Real-Time Programs.

Zhiming LiuMathai JosephTomasz 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