Thermal Neutrons: a Possible Threat for Supercomputers and Safety Critical Applications.
Daniel OliveiraSean BlanchardNathan DeBardelebenFernando Fernandes dos SantosGabriel Piscoya DávilaPhilippe O. A. NavauxCarlo CazzanigaChristopher FrostRobert C. BaumannPaolo RechPublished in: ETS (2020)
Keyphrases
- decision making
- safety critical
- support systems
- fault tolerant
- formal methods
- safety analysis
- embedded systems
- nuclear power plant
- agent architecture
- decision makers
- regulatory requirements
- real time
- adaptive systems
- decision support system
- reverse engineering
- smart home
- cooperative
- information systems
- data mining
- databases