Login / Signup

Verification of safety integrity level of high demand system based on Stochastic Petri Nets and Monte Carlo Simulation.

Xianqiong ZhaoOlaf MalasseGrégory Buchheit
Published in: Reliab. Eng. Syst. Saf. (2019)
Keyphrases
  • monte carlo simulation
  • high demand
  • monte carlo
  • markov chain
  • model checking
  • additive model
  • database
  • genetic algorithm
  • regression model
  • levels of abstraction
  • integrity checking