Login / Signup

Early Verification and Validation of Mission Critical Systems.

Christophe PonsardPhilippe MassonetAndré RifautJean-François MolderezAxel van LamsweerdeHung Tran Van
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
  • mission critical
  • real time systems
  • data centric
  • databases
  • management system
  • general purpose
  • asynchronous circuits
  • real time
  • data mining
  • cost effective