Search

Now showing items 1-5 of 5

Automatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction

Type: Journal Paper

Author : Bolton, Matthew L.; Jimenez, Noelia; van Paassen, Marinus M.; Trujillo, Maria

Publisher: IEEE

Year: 2014

Mathematical Biodynamic Feedthrough Model Applied to Rotorcraft

Type: Journal Paper

Author : Venrooij, Joost; Mulder, Max; Abbink, David /A/.; van Paassen, Marinus M.; Mulder, Max; van der Helm, Frans C. T.; Bulthoff, Heinrich H.

Publisher: IEEE

Year: 2014

A Biodynamic Feedthrough Model Based on Neuromuscular Principles

Type: Journal Paper

Author : Venrooij, Joost; Abbink, David /A/.; Mulder, Max; van Paassen, Marinus M.; Mulder, Max; van der Helm, Frans C. T.; Bü lthoff, Heinrich H.

Publisher: IEEE

Year: 2014

A Framework for Biodynamic Feedthrough Analysis—Part II: Validation and Application

Type: Journal Paper

Author : Venrooij, Joost; van Paassen, Marinus M.; Mulder, Max; Abbink, David /A/.; Mulder, Max; van der Helm, Frans C. T.; Bulthoff, Heinrich H.

Publisher: IEEE

Year: 2014

A Framework for Biodynamic Feedthrough Analysis—Part I: Theoretical Foundations

Type: Journal Paper

Author : Venrooij, Joost; van Paassen, Marinus M.; Mulder, Max; Abbink, David /A/.; Mulder, Max; van der Helm, Frans C. T.; Bulthoff, Heinrich H.

Publisher: IEEE

Year: 2014

Search

Automatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction

Mathematical Biodynamic Feedthrough Model Applied to Rotorcraft

A Biodynamic Feedthrough Model Based on Neuromuscular Principles

A Framework for Biodynamic Feedthrough Analysis—Part II: Validation and Application

A Framework for Biodynamic Feedthrough Analysis—Part I: Theoretical Foundations

Author

Publisher

Year

Keywords

Type

Language (ISO)

Content Type

Publication Title

Search

Filters

Automatically Generating Specification Properties From Task Models for the Formal Verification of Human&#x2013;Automation Interaction

Mathematical Biodynamic Feedthrough Model Applied to Rotorcraft

A Biodynamic Feedthrough Model Based on Neuromuscular Principles

A Framework for Biodynamic Feedthrough Analysis&#x2014;Part II: Validation and Application

A Framework for Biodynamic Feedthrough Analysis&#x2014;Part I: Theoretical Foundations

Automatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction

A Framework for Biodynamic Feedthrough Analysis—Part II: Validation and Application

A Framework for Biodynamic Feedthrough Analysis—Part I: Theoretical Foundations