The following pages link to Michael D. Harrison (Q172354):
Displaying 7 items.
- A toolset supported approach for designing and testing virtual environment interaction techniques (Q2744851) (← links)
- (Q4102719) (← links)
- (Q4420379) (← links)
- (Q4475268) (← links)
- (Q4738429) (← links)
- Representational reasoning and verification (Q5930073) (← links)
- Model checking interactor specifications (Q5955433) (← links)