Login / Signup

Runtime Verification of Stochastic, Faulty Systems.

Cristina M. WilcoxBrian C. Williams
Published in: RV (2010)
Keyphrases
  • management system
  • distributed systems
  • monte carlo
  • real time
  • decision making
  • expert systems
  • building blocks
  • complex systems
  • databases
  • knowledge based systems
  • formal verification
  • automated verification