Login / Signup

Generating Formal Models for Real-Time Verification by Exact Low-Level Runtime Analysis of Synchronous Programs.

George LogothetisKlaus SchneiderC. Metzler
Published in: RTSS (2003)
Keyphrases
  • real time
  • formal models
  • low level
  • image analysis
  • decision making
  • statistical analysis
  • data acquisition
  • artificial intelligence
  • high level
  • database systems
  • high speed