A systematic approach to model checking human–automation interaction using task analytic models

ML Bolton, RI Siminiceanu… - IEEE Transactions on …, 2011 - ieeexplore.ieee.org
Formal methods are typically used in the analysis of complex system components that can
be described as “automated”(digital circuits, devices, protocols, and software). Human …
被引用次数：147 相关文章
[PDF] buffalo.edu

[PDF][PDF] A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic Models

ML Bolton, RI Siminiceanu… - IEEE TRANSACTIONS ON …, 2011 - fhsl.eng.buffalo.edu
Formal methods are typically used in the analysis of complex system components that can
be described as “automated”(digital circuits, devices, protocols, and software). Human …
[PDF] drbolton.org

[PDF][PDF] A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic Models

ML Bolton, RI Siminiceanu, EJ Bass - IEEE TRANSACTIONS ON …, 2011 - drbolton.org
Formal methods are typically used in the analysis of complex system components that can
be described as “automated”(digital circuits, devices, protocols, and software). Human …

[引用][C] A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic Models

ML Bolton, RI Siminiceanu, EJ Bass - IEEE Transactions on Systems …, 2011 - cir.nii.ac.jp
A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic
Models | CiNii Research CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索 …
[PDF] drexel.edu

[PDF][PDF] A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic Models

ML Bolton, RI Siminiceanu, EJ Bass - IEEE TRANSACTIONS ON …, 2011 - cci.drexel.edu
Formal methods are typically used in the analysis of complex system components that can
be described as “automated”(digital circuits, devices, protocols, and software). Human …

A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic Models

ML Bolton, RI Siminiceanu, EJ Bass - IEEE Transactions on Systems …, 2011 - dl.acm.org
Formal methods are typically used in the analysis of complex system components that can
be described as “automated”(digital circuits, devices, protocols, and software). Human …
[PDF] drbolton.org

[PDF][PDF] A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic Models

ML Bolton, RI Siminiceanu, EJ Bass - IEEE TRANSACTIONS ON …, 2011 - drbolton.org
Formal methods are typically used in the analysis of complex system components that can
be described as “automated”(digital circuits, devices, protocols, and software). Human …
[PDF] academia.edu

[PDF][PDF] A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic Models

ML Bolton, RI Siminiceanu, EJ Bass - IEEE TRANSACTIONS ON …, 2011 - academia.edu
Formal methods are typically used in the analysis of complex system components that can
be described as “automated”(digital circuits, devices, protocols, and software). Human …

A Systematic Approach to Model Checking Human-Automation Interaction Using Task Analytic Models

ML Bolton, RI Siminiceanu… - … on systems, man …, 2011 - researchdiscovery.drexel.edu
A Systematic Approach to Model Checking Human-Automation Interaction Using Task
Analytic Models - Drexel University Logo image Menu Outputs New search Researchers …

A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic Models

ML Bolton, RI Siminiceanu, EJ Bass - IEEE Transactions on Systems, Man …, 2011 - infona.pl
Formal methods are typically used in the analysis of complex system components that can
be described as “automated”(digital circuits, devices, protocols, and software). Human …