1.
The Formal Verification Techniques for the Timed System Using Timed Automata;
基于自动机的时间系统形式验证技术
2.
Research on the Formal Design of Digital Hardware: Theories and Approaches;
数字系统形式设计的理论与方法研究
3.
circular-cage dynode system
圆形鼠笼式倍增系统
4.
incompleteness of formal system
形式系统的不完全性
5.
Formalization of Propositional Calculus Form Systems in Isabelle/HOL;
命题演算形式系统在Isabelle/HOL中的形式化
6.
The Significant Form,the Research on Logo Guidance System
有意味的形式——标识导向系统形态诌议
7.
The Format System Mode of Constructing Enterprises Safety Culture;
论企业安全文化建设的形式系统模式
8.
Formal Semantics of Architecture Model of Collaborative Systems
协同系统体系结构模型的形式化语义
9.
A Study of Form System-safety Culture of Enterprise and Its Assessment System;
企业安全文化形式系统及其评价系统研究
10.
ring net for distributed processing system
分布式处理系统环形网络
11.
Network pattern of naval ship synthesized platform management
舰船综合平台管理系统网络形式探讨
12.
arranged or displayed systematically in table form.
系统地以表格的形式排列或显示。
13.
"To plan out in systematic, usually graphic form"
(通常以图表形式)进行系统地计划.
14.
The system volume information structure has an invalid disk style field.
系统卷信息结构的磁盘形式字段无效。
15.
The form of consciousness is the system of treble structures.
意识的形式是由三重结构组成的系统。
16.
The Abstraction and Formalized Verification of Heating Hybrid System
供热混合系统的抽象及其形式化验证
17.
Designing and Formal Analysis Communication Protocol of CBTC System;
CBTC系统通信协议的设计和形式化分析
18.
Design and Implementation of an Universal Mobile Network Tracing System Based on PDA;
PDA形式移动网络测试系统设计与实现