Login / Signup

Modelling and optimization of proof testing policies for safety instrumented systems.

A. C. Torres-EcheverríaSebastián MartorellHaydn A. Thompson
Published in: Reliab. Eng. Syst. Saf. (2009)
Keyphrases
  • intelligent systems
  • computer systems
  • data sets
  • management system
  • optimization algorithm
  • machine learning
  • knowledge based systems
  • complex systems
  • optimization method
  • theorem proving
  • optimization process