Login / Signup

Early verification and validation of mission critical systems.

Christophe PonsardPhilippe MassonetJean-François MolderezAndré RifautAxel van LamsweerdeHung Tran Van
Published in: Formal Methods Syst. Des. (2007)
Keyphrases
  • mission critical
  • real time systems
  • data centric
  • real time
  • website
  • expert systems
  • asynchronous circuits
  • data mining
  • distributed systems
  • business processes
  • cost effective
  • data center