1.
The Research of System, Rules and Checking of Protocol Based on TLA
基于行为时序逻辑TLA的系统、规则与协议检测的研究
2.
logic-controlled sequential computer
逻辑控制时序计算机
3.
multiprogramming executive control logic
多道程序执行控制逻辑
4.
If the specific linearity test has low power against other nonlinearities, it could incorrectly accept the null of the DGP is generated from linear series.
为什么要进行非线性时序模型的线性性检验,并以此作为本研究的逻辑引导。
5.
Formal Semantics of Framed Temporal Logic Programming Language MSVL
框架时序逻辑程序语言MSVL的形式语义
6.
Logic qualitative research on stress tenses of stress response in medical student of type A behaviors;
医学生A型行为者应激时态的逻辑质研究
7.
arrangement in which things follow in logical order or a recurrent pattern.
以事物的逻辑顺序或周期为序的排列。
8.
A new model for mining multiple time series based on temporal logic
基于时态逻辑的多时间序列挖掘模型
9.
Description and Refinement of the Bank ATM System Based on UML and Temporal Logic Language;
基于UML和时序逻辑语言的银行ATM系统描述与求精
10.
Logic and Language Expression --Argue the application of logic in language action;
逻辑与语言表达——论逻辑在言语行为中的作用
11.
Satisfiability and Expressiveness of Propositional Projection Temporal Logic;
命题投影时序逻辑的判定性和表达性
12.
Proceduralist Theory of Law: Theoretical Logic and Appropriate Circumstance of Times;
法律程序主义:论证逻辑和时代际遇
13.
Application of Minor State of Karnaugh Map in Logical Circuit of Time Sequence;
次态卡诺图在时序逻辑电路中的应用
14.
One Way to Design Scheduling Logic Circuit Based on MSI;
基于MSI的时序逻辑电路设计方法
15.
SIMPLIFIED WAY TO SOLVE TWO PROBLEMS IN SEQUENTIAL CIRCUIT;
时序逻辑电路中两个问题的简化处理
16.
Axiomatization for the first-order projection temporal logic and formal verifications
投影时序逻辑的公理系统与形式验证
17.
Extending Slices of Object-Z Classes Based on Temporal Logic
基于时序逻辑的Object-Z类切片的扩展
18.
Projection Temporal Logic Oriented Model Checking for Web Services
面向投影时序逻辑的Web服务模型检测