位置：成果数据库 > 期刊 > 期刊详情页
Applying Wu’s Method to Symbolic Simulation for Boolean Layer PSL Assertion Checking
  • 时间：0
  • 相关项目：复杂并发系统验证和评估分析的代数符号化理论与方法
同期刊论文项目
复杂并发系统验证和评估分析的代数符号化理论与方法
期刊论文 26 会议论文 18 著作 1
同项目期刊论文
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语义分析与建模
On Invariance of Dynamic CTL Model Checking in Iterative Design of Moore Machine-Based System.
基于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的专用公式编辑工具的设计与实现
基于马尔可夫链的性能检测器的设计与实现
自适应改进和声—单纯形进化算法研究
虚拟机系统在计算机教学中的应用初探
一种基于路径的快速均值偏移算法