Sign in
High-energy neutrons characterization of a safety critical computing system.
Andrea Fedi
Marco Ottavi
Gianluca Furano
Antimo Bruno
Roberto Senesi
Carla Andreani
Carlo Cazzaniga
Published in:
DFT (2017)
Keyphrases
</>
high energy
safety critical
fault tolerant
formal methods
nuclear power plant
embedded systems
safety analysis
agent architecture
decision making
user interface
information systems
expert systems
medical images
support systems
regulatory requirements