Architecture Analysis Design Language; Formal Methods; Intergrated Modular Avionics; Model Based Engineering; Model Driven Architecture; Safety Critical Systems;
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:特殊问题的序言:安全关键系统的设计和分析中的轻量级实用形式方法
机译:为什么对安全关键系统考虑采用正式方法?
机译:使用正式方法安全关键系统的行为分析
机译:安全关键系统的基于模型的可用性分析:正式方法框架。
机译:肺动脉高压患者中安布森坦波生坦和西地那非安全性和有效性的联合方法(形式调整的间接比较荟萃分析和主成分分析)
机译:对扩展sTpa方法支持的关键系统的安全和安全要求进行形式分析