Sign in

Testing from a stochastic timed system with a fault model.

Robert M. HieronsMercedes G. MerayoManuel Núñez
Published in: J. Log. Algebraic Methods Program. (2009)
Keyphrases
  • fault model
  • fault injection
  • safety analysis
  • discrete event
  • petri net
  • model based diagnosis
  • fault models
  • image quality
  • timed automata