Do No Harm: Model Checking eHome Applications
SEPCASE '07 Proceedings of the 1st International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments
Proceedings of the 11th international ACM SIGACCESS conference on Computers and accessibility
Hi-index | 0.00 |
We describe a system that supports travel planning for a user with a cognitive impairment.