Sign in

SGI-SAT Trillo: A Full Scope Simulator for Nuclear Power Plants.

Manuel DíazDaniel Garrido
Published in: OTM Workshops (2003)
Keyphrases
  • nuclear power plant
  • satisfiability problem
  • condition monitoring
  • sat solvers
  • nuclear power
  • sat problem
  • safety critical
  • shared memory
  • search algorithm
  • genetic algorithm
  • fuzzy control
  • fault detection