Welcome to MEFISTO
ESPRIT Reactive LTR 24963 Project
Starting date: 8 September 1997 - Three years Project
Keywords: User Interfaces, Air Traffic Control,
Usability and Safety Requirements, Formal Methods for Human-Computer Interaction,
For further information, please contact
Since 20th January 1998 a total of people have accessed this page.