Formal Methods for Modelling and Analysis of Single-Event Upsets.

René Rydhof Hansen Kim Guldstrand Larsen Mads Chr. Olesen Erik Ramsgaard Wognsen

Published in: IRI (2015)

Keyphrases

formal methods
formal analysis
databases
software engineering
data mining
artificial intelligence
information systems
database systems
knowledge management
event detection