Login / Signup

Verification of ANDF Components.

Frédéric BroustautChristian FabreFrançois de FerrièreÉric IvanovMauro Fiorentini
Published in: Intermediate Representations Workshop (1995)
Keyphrases
  • formal verification
  • data sets
  • model checking
  • real time
  • artificial intelligence
  • decision making
  • decision trees
  • database systems
  • software components
  • false acceptance