Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study - OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Home
OFFIS
Publikationen
Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study

Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study

Export

All authors

Bertram WortelenAndreas LüdtkeDenis JavauxSonja Sievi

Booktitle

Proc. of ECCE´14

Publishing date

9 / 2014

Type of Publication

inproceedings

Projects

VASCO
Verification Models for Advanced Human-Automation Interaction in Safety Critical Flight Operations (sorry - only available in german)

Privacy Data Transparency Contact Legals