SPECIFYING SOLID STATE LOGIC SYSTEMS.

被引：0

|

作者：

Swann, D.R.

机构：

来源：

American Society of Mechanical Engineers (Paper) | 1979年

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Electric power plants

引用

收藏

相关论文

共 50 条

[21] Solid state logic
Engineering (London), 2000, 241 (09):
[22] Localization of Failure in Large Logic Systems.
Deschizeaux, P.
Revue Francaise d'Automatique Informatique Recherche Operationnelle, 1974, 8 : 76 - 84
[23] CHARACTERISTIC FUNCTIONS IN MULTIVALUED LOGIC SYSTEMS.
Cerny, E.
Digital processes, 1980, 6 (2-3): : 167 - 174
[24] ADVANCES IN SOLID STATE SWITCHGEAR TECHNOLOGY FOR LARGE SPACE POWER SYSTEMS.
Sundberg, Gale R.
NASA Technical Memorandum, 1984,
[25] IMPACT OF ACTIVE MICROWAVE SOLID STATE DEVICES ON MODERN COMMUNICATION SYSTEMS.
Magarshack, John
1600, IEEE (77CH1257-5 Reg 8), New York, NY
[26] Specifying and verifying systems of communicating agents in a temporal action logic
Giordano, L
Martelli, A
Schwind, C
AI(ASTERISK)IA 2003: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2003, 2829 : 262 - 274
[27] SPECIFYING MESSAGE PASSING SYSTEMS REQUIRES EXTENDING TEMPORAL LOGIC
KOYMANS, R
TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 213 - 223
[28] Specifying safety-critical systems with a decidable duration logic
Konur, Savas
SCIENCE OF COMPUTER PROGRAMMING, 2014, 80 : 264 - 287
[29] SPECIFYING MESSAGE PASSING SYSTEMS REQUIRES EXTENDING TEMPORAL LOGIC
KOYMANS, R
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 398 : 213 - 223
[30] USING DIGITAL LOGIC IN ANALOG CONTROL SYSTEMS.
Hampel, John
InTech, 1979, 26 (12) : 39 - 41

← 1 2 3 4 5 →