• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

René Rydhof HansenKim Guldstrand LarsenMads Chr. OlesenErik 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