机译:使用程序转换为实时系统提供安全属性
Computer Science, Fairleigh Dickinson University, Teaneck, NJ 07666, USA;
real time systems; temporal logic; formal methods; executable assertions; program verification; fault tolerance;
机译:最新的实时操作可以提高过程安全性:RTO系统可以减轻危害并提供信息以防止将来发生事故
机译:通过图形转换和模型检查来验证嵌入式系统的分布式实时属性
机译:通过自动程序转换在实时程序中实现容错
机译:一种实时系统中验证安全性的转换方法
机译:对大学航空安全管理体系举措,变革型安全领导,自我效能,安全行为以及由安全动机介导的安全相关事件之间的关系进行评估。
机译:探索提供实时安全监控的贝叶斯更新工具用于新医疗设备
机译:通过程序转换在实时系统中实现容错
机译:实时系统中安全性验证的转换方法。