Search research articles
Contact Us
Filters
Showing results (1-10 of 2) with videos related to
Page
of 1
Sort By:
Human Factors
|
July 18, 2002
Formal verification of human-automation interaction
Asaf Degani, Michael Heymann
Human Factors
|
April 24, 2007
Formal analysis and automatic generation of user interfaces: approach, methodology, and an algorithm
Michael Heymann, Asaf Degani
Page
of 1
Search research articles
Search
Showing results (1-10 of 2) with videos related to
Sort By:
Page
of 1
Human Factors
|
July 18, 2002
Formal verification of human-automation interaction
Asaf Degani, Michael Heymann
Human Factors
|
April 24, 2007
Formal analysis and automatic generation of user interfaces: approach, methodology, and an algorithm
Michael Heymann, Asaf Degani
Page
of 1