机译:使用定理秘密公主进行嵌入式装配计划的实时安全性能的演绎验证
机译:模型检查使用实时时间逻辑RTCTL及其在真正的微控制器软件应用程序的实时性能
机译:基于假设保证风格的实时软件演绎细化验证方法
机译:用于分布式实时系统的安全性,活力和非拟合的演绎概率验证方法
机译:将运行时验证后部署嵌入到安全关键系统的实时健康管理中
机译:基于知识的基于知识编程模式的验证受到资源受限嵌入式设备的自然语言的启发
机译:使用细化验证和混合自动机的实时软件的演绎性可调度性验证方法
机译:实时系统中安全性验证的转换方法。