Statecharts; Failure mode and effect analysis; Actions systems; Formal specification;
机译:正式方法集成可靠分布式系统的规范
机译:用于设计和验证CNC系统的可靠软件的正式规范框架
机译:集成本体和优化的分区操作系统的正式规范和分析
机译:将安全分析集成到可靠系统的形式规范中
机译:增强系统可靠性:将安全威胁分析与功能建模相集成。
机译:难道儿童福利和行为健康机构之间的正式集成在从事与两个系统改进放置稳定性为青少年结果?
机译:用于设计和验证计算机数控(CNC)系统的可靠可靠软件的正式规范和验证框架
机译:分布式和安全关键航空电子系统参考架构的形式化规范和仿真