机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:半正式规范和正式验证可改善数字设计:一些统计数据
机译:对照片中的人物视觉注意的初步调查:辅助AAC视觉场景展示设计的潜在注意事项
机译:接缝视语中物业性关系的正式语义:朝着视觉规格的仿真和分析
机译:高动态范围显示器中的遮盖眩光:使用双随机楼梯技术对人视觉系统和显示设备贡献的实验比较。
机译:糖尿病设备的人为因素:视力障碍者血糖仪和家用血压计显示器的可及性
机译:抽象数据库的正式规范:设计和实现。