Login / Signup

Hybrid verification of an interface for an automatic landing.

Meeko OishiIan MitchellAlexandre M. BayenClaire J. TomlinAsaf Degani
Published in: CDC (2002)
Keyphrases
  • fully automatic
  • data driven
  • model checking
  • hybrid learning
  • digital libraries
  • relational databases
  • user interface
  • semi automatic
  • user friendly
  • formal methods
  • database
  • website
  • artificial neural networks