Sign in

Approximate Computing for Safety-Critical Applications.

Gennaro Severino RodriguesFernanda Lima KastensmidtAlberto 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