space vehicles; program verification; program testing; software reliability; finite state machines; fault location; aerospace control; aerospace computing; aerospace testing; finite state machines; spacecraft mission critical software design/implemen;
机译:用于构建代码符合性检查的设计知识建模和软件实现
机译:使用AASHTOWARE路面ME设计软件对印度公路进行机械-经验路面设计的实施和校对
机译:综合质量控制。用于重症监护分析的基于药盒的护理点系统的仪器功能检查和程序控制的实现和验证。
机译:使用模型检查航天器使用模型验证关键任务软件设计和实现
机译:使用模型驱动的体系结构为关键任务域提供基于支持保证的软件开发
机译:具有异质性校正的商业二级检查软件的验证和临床实施
机译:模型检查面向对象的设计:验证主导的软件开发
机译:使用模型检查验证关键任务软件的设计和实现