位置：成果数据库 > 期刊 > 期刊详情页
On Invariance of Dynamic CTL Model Checking in Iterative Design of Moore Machine-Based System.
  • 时间：0
  • 相关项目：复杂并发系统验证和评估分析的代数符号化理论与方法
同期刊论文项目
复杂并发系统验证和评估分析的代数符号化理论与方法
期刊论文 26 会议论文 18 著作 1
同项目期刊论文
Applying Wu’s Method to Symbolic Simulation for Boolean Layer PSL Assertion Checking
Validating Programmable Logic Controllers with Duration Calculus
Real Time Process Algebra with Urgency Executing Policy.
Process Algebra with Chaos Executing Policy for Unhealthy Systems.
Stochastic Process Algebra with Value-Passing and Weak Time Restrictions
概率带测试克林代数
Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures
非经典切片优化的同步运行时检验方法
基于通信顺序进程的OWL_S语义分析与建模
基于Spin检测语义Web服务过程模型
Process Algebra with Timed-Priority Executing Policy
On the Formal Analysis of Stage Suspended Boom Systems
多项式程序模型的互模拟等价
基于Groebner基的模型检测技术及其工具实现
Approximate Equivalence and Optimization for High-level Datapath
Quasi-Classical Description Logics and Paraconsistent Tabbleau Calculus for Reasoning with Acyclic T
基于SVG的专用公式编辑工具的设计与实现
基于马尔可夫链的性能检测器的设计与实现
自适应改进和声—单纯形进化算法研究
虚拟机系统在计算机教学中的应用初探
一种基于路径的快速均值偏移算法