Login / Signup

Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification.

Samaneh NavabpourChun Wah Wallace WuBorzoo BonakdarpourSebastian Fischmeister
Published in: RV (2011)
Keyphrases
  • model checking
  • neural network
  • real time
  • data sets
  • machine learning
  • expert systems
  • computationally efficient
  • computationally expensive
  • highly efficient