Dependability; Fault Tolerance; Interactive Systems; Self Checking Components; Widgets;
机译:逐线:可靠医疗系统正式技术的实践考虑因素
机译:弥合行为形式描述技术和用户界面描述语言之间的鸿沟:通过图形用户界面标记语言增强ICO
机译:与形式描述技术的方法集成
机译:用于使用正式描述技术的可靠互动驾驶舱的自检组件
机译:正式规范和验证可靠的分布式协议的模块化方法。
机译:设计和部署可靠的无线传感器网络的正式方法论
机译:支撑触控:互动,宽易驾驶,多触控交互技术,用于互动驾驶舱
机译:基于Estelle IsO形式描述技术的通信协议形式化设计