位置：成果数据库 > 期刊 > 期刊详情页
A polynomial dynamic system approach to software design for attractivity requirement
  • 时间：0
  • 相关项目：开放反应系统的模型检测与合成
同期刊论文项目
开放反应系统的模型检测与合成
期刊论文 13 会议论文 15
同项目期刊论文
Intuitionistic Linear-time μ-Calculus
The Complexity of Dual Models Problem of Propositional Linear Temporal Logic
一种基于监控理论的软件设计方法：状态性质变换方法
Combining search space partition and abstraction for LTL model checking
基于迁移的扩展Buchi自动机到Buchi自动机的有效转换
Structure of Proofs and the Complexity of Cut Elimination
命题线性时序逻辑的对偶模型问题的复杂性
从基于迁移的扩展Büchi自动机到Büchi自动机
直觉线性μ-演算
Improved Bounded Model Checking for the Universal Fragment of CTL
直觉线性μ-演算中的合成推理