Skip to main content
User menu
Cart
Login
DIAL.pr - BOREAL
Search form
Search
Home
All Publications
Export
Help
Current search
"Lüdtke, Andreas"
Pecheur, Charles
Access
1
Accès restreint
Apply Accès restreint filter
You are here
Home
»
Search
»
Search results
»
*:*
»
"Lüdtke, Andreas"
»
Pecheur, Charles
»
Search
Accès à distance ? S'identifier sur le proxy
UCLouvain
Search
Sort by
Relevancy
Publication date desc
Publication date asc
Creation date
Fulltext
Displaying
1
result.
Speech
A methodology for analyzing human-automation interactions in flight operations using formal verification techniques
Javaux , Denis
Wortelen , Bertram
Lüdtke, Andreas
Pecheur, Charles
[UCL]
Peldszus , Regina
Sievi , Sonja
Yushtein, Yuri
(2014)
AAAI Symposium on Formal Verification in Human-Machine Systems — Palo, Alto, USA