1.
Formal Semantics of Framed Temporal Logic Programming Language MSVL
框架时序逻辑程序语言MSVL的形式语义
2.
Satisfiability and Expressiveness of Propositional Projection Temporal Logic;
命题投影时序逻辑的判定性和表达性
3.
Application of Minor State of Karnaugh Map in Logical Circuit of Time Sequence;
次态卡诺图在时序逻辑电路中的应用
4.
One Way to Design Scheduling Logic Circuit Based on MSI;
基于MSI的时序逻辑电路设计方法
5.
SIMPLIFIED WAY TO SOLVE TWO PROBLEMS IN SEQUENTIAL CIRCUIT;
时序逻辑电路中两个问题的简化处理
6.
Axiomatization for the first-order projection temporal logic and formal verifications
投影时序逻辑的公理系统与形式验证
7.
Extending Slices of Object-Z Classes Based on Temporal Logic
基于时序逻辑的Object-Z类切片的扩展
8.
Projection Temporal Logic Oriented Model Checking for Web Services
面向投影时序逻辑的Web服务模型检测
9.
Semantics Description of UML2.0 Sequence Diagrams Using the Temporal Logical Language XYZ/E;
基于XYZ/E的UML2.0顺序图的时序逻辑语义描述研究
10.
Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic
基于时序逻辑证明编译优化程序变换的保义性
11.
Model Checking Propositional Projection Temporal Logic with Infinite Model;
基于无穷模型命题投影时序逻辑的模型检查
12.
Description and Analysis of WS Security Based on Temporal Logic;
基于时序逻辑的Web服务安全形式化描述与分析
13.
The Analysis and Design of the Pulse Asynchronous Tune Sequencing Logic Circuit;
脉冲异步时序逻辑电路的分析与设计探讨
14.
An Analysis of the Application of Comparison in the Sequential Logical Circuit Teaching;
浅析比较法在时序逻辑电路教学中的应用
15.
Reasoning and Symbolic Model Checking of Extended Temporal Logics
扩展时序逻辑的推理及符号化模型检验技术
16.
Verification of business process constraints based on temporal logic
基于时序逻辑的业务过程约束建模及验证
17.
Experiment Teaching Exploration of Sequential Logic Circuit Based on Matlab
基于Matlab的时序逻辑电路的实验教学探索
18.
logic-controlled sequential computer
逻辑控制时序计算机