FORMALISM; AVIONICS; APPLICATIONS PROGRAMS (COMPUTERS); TABLES (DATA); AIRCRAFT SAFETY; SAFETY MANAGEMENT; SOFTWARE ENGINEERING; DECISION MAKING; FAULT TREES; PETRI NETS;
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:检查沿数字数据总线MIL-1553B集成的航空电子系统中软件应用程序可靠性的方法
机译:基于服务的软件形式规范构造的进化方法
机译:使用形式化方法分类来指定用于空间应用的安全关键软件
机译:安全关键系统的正式规范方法和符号
机译:第三本书:医疗领域的科学研究应用:软件开发方法论和用户软件工程方法论
机译:GenGED *中视觉行为模型的方案视图*这项工作得到了德国-巴西软件规范和开发形式和半形式方法图形支持的合作(GRAPHIT)。
机译:形式化方法在航空电子软件规范和安全中的应用