Login / Signup
A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661.
Eric Barboni
David Navarre
Philippe A. Palanque
Sandra Basnyat
Published in:
SIES (2007)
Keyphrases
</>
formal specification
computer graphics
graphical interface
ims qti
high level
virtual reality
interactive video
artificial intelligence
user friendly
product configuration
neural network
information systems
decision trees
expert systems
interactive learning
highly interactive