Model-Based approaches; ARINC 661 specification; Formal description techniques; Interactive software engineering; Interactive cockpits;
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:安全关键型交互系统设计的正式社会技术障碍建模
机译:用于减少复杂系统故障处理中的错误的用户界面的形式化建模和重新配置
机译:安全关键交互式系统的用户交互重新配置的形式化方法
机译:异构安全关键型复杂社会技术系统人机交互可用性评估的一种方法。
机译:非线性Fokker-Planck方程方法与交互粒子系统:与交互范围相关的恒温功能
机译:安全关键型交互系统设计的正式社会技术障碍建模