机译：基于软件检查，需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译：用于基于可编程逻辑控制器（PLC）的安全关键型系统开发的软件设计规范和分析技术（SDSAT）
机译：规范和验证交互式系统中任务管理的正式方法
机译：正式规范和开发安全关键的列车管理系统
机译：基于规范的结构测试覆盖标准作为安全关键系统的测试数据生成器的有效性。
机译：定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
机译：通过使用可执行的正式规范帮助安全关键时间触发系统的模块化设计和验证*
机译：从正式规范自动合成安全关键应用的工业强度工具和技术。
