Amanote Research

Amanote Research

    RegisterSign In

Modeling and Formal Analysis of Human-Machine Interaction

doi 10.1093/oxfordhb/9780199757183.013.0030
Full Text
Open PDF
Abstract

Available in full text

Date

February 12, 2013

Authors
Michael HeymannAsaf DeganiMichael Shafto
Publisher

Oxford University Press


Related search

Formal Modeling and Analysis of Collaborative Humanoid Robotics

International Journal of Robotics Applications and Technologies
2018English

Formal Modeling and Analysis of Cognitive Agent Behavior

Cognitive Processing
MedicineCognitive PsychologyExperimentalArtificial IntelligenceCognitive Neuroscience
2007English

Strategic Interaction and Trade Policymaking: Formal Analysis and Simulation

World Economy
International RelationsFinanceEconomicsPolitical ScienceAccountingEconometrics
2006English

Analysis and Modeling of Haptic Interaction

English

The Modeling of Human-Structure Interaction

International Journal of Engineering and Technology
2018English

Modeling and Formal Analysis of Communication Protocols Based on Game

Information Technology Journal
2013English

Magneto-Rheological Technology for Human-Machine Interaction

2010English

Erratum To: The Handbook of Formal Methods in Human-Computer Interaction

The Handbook of Formal Methods in Human-Computer Interaction
2017English

Formal Modeling and Analysis of Object Oriented Systems Using Triple Graph Grammars

International Journal of Embedded and Real-Time Communication Systems
Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy