CCSL 相关硕士博士期刊学术论文 - 搜论网

CCSL相关论文

基于参数逻辑时间约束的不确定任务模型的形式化分析与验证

随着物联网和实时和嵌入式系统等相关技术在汽车、轨道交通、航空航天以及智能工厂等场景下的广泛使用,其复杂性和安全性等相关问......

学位

不确定性时序行为逻辑时间参数化任务模型 CCSL SMT

基于CCSL的时间需求分析方法研究与实现

伴随实时系统在安全关键领域的广泛应用,其复杂度也在不断增加,如何保证实时系统安全性,避免财产损失甚至人员伤亡等灾难性事故的......

学位

软件安全性分析时间需求 CCSL 时间自动机模型检测

看过本文同时还关注