Approximate Computing for Safety-Critical Applications.

Gennaro Severino Rodrigues Fernanda Lima Kastensmidt Alberto Bosio

Published in: LATS (2021)

Keyphrases

safety critical
fault tolerant
formal methods
agent architecture
safety analysis
nuclear power plant
support systems
real time
multi agent
regulatory requirements