Login / Signup

Verification and Validation of Requirements for Mission Critical Systems.

Steve M. Easterbrook
Published in: ICSE (1999)
Keyphrases
  • mission critical
  • real time systems
  • expert systems
  • data centric
  • database
  • data center
  • real time
  • case study
  • data streams
  • management system
  • formal methods
  • high dimensional
  • model checking