Mutant-Based Model-Checking to Ensure Accessibility and Safety Aspects of Human Computer Interfaces - researchr publication

researchr

You are not signed in
Sign in
Sign up

Fevzi Belli, Axel Hollmann, Zhenyu Chen. Mutant-Based Model-Checking to Ensure Accessibility and Safety Aspects of Human Computer Interfaces. In Mohamed Jemni, editor, ICTA 2009 - The Second International Conference on Information and Communication Technologies and Accessibility, Hammamet, Tunisia, May 7-9, 2009, Proceeding. pages 65-74, 2009.

Abstract is missing.

runs on WebDSL