时段演算

（计算机科学技术）
时段演算（duration calculus），计算机科学技术名词，一种实时区间时态逻辑，它将布尔函数在区间上的积分进行形式化，从而用来描述和推导实时状态系统的逻辑特性。
知识树
时光轴
论点集
总题库
领域
计算机
词条相关
词条 主页 》
词条 科普 》
词条 事件 》
词条 题库 》
词条 知识 》