微分时序动态逻辑相关硕士博士期刊学术论文 - 搜论网

微分时序动态逻辑相关论文

基于DATL的信息物理融合系统安全性建模与验证

为解决微分时态动态逻辑(d TL)表达能力弱以及微分代数动态逻辑(DAL)缺少时序表达能力的问题,提出了一种结合d TL和DAL的微分代数......

期刊

信息物理融合系统属性验证微分时序动态逻辑微分代数动态逻辑微分代数时序动态逻辑

看过本文同时还关注