Specifying systems

被引：0

作者：

Sharratt, John

机构：

来源：

Control and Instrumentation | 1995年 / 27卷 / 04期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[21] Specifying concurrent systems with TLA+
Lamport, L
CALCULATIONAL SYSTEM DESIGN, 1999, 173 : 183 - 247
[22] SPECIFYING WATER-TREATMENT SYSTEMS
GIENGER, JK
KRANZMANN, B
POWER ENGINEERING, 1995, 99 (10) : 49 - 53
[23] Specifying air-duct systems
Williams, Gerald J.
HPAC Heating, Piping, AirConditioning Engineering, 2004, 76 (11): : 36 - 41
[24] Specifying agent beliefs for authentication systems
Ma, Ji
Orgun, Mehmet A.
ECUMN 2007: FOURTH EUROPEAN CONFERENCE ON UNIVERSAL MULTISERVICE NETWORKS, PROCEEDINGS, 2007, : 410 - +
[25] SPECIFYING OPEN DISTRIBUTED SYSTEMS WITH Z
GOTZHEIN, R
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 428 : 319 - 339
[26] SPECIFYING DISTRIBUTED ACQUISITION-SYSTEMS
KIBASI, K
CONTROL AND INSTRUMENTATION, 1986, 18 (06): : 65 - 65
[27] The GAT approach to specifying mixed systems
Royer, Jean-Claude
Informatica (Ljubljana), 2003, 27 (01) : 89 - 103
[28] SPECIFYING DATA BASE SYSTEMS.
Florentin, J.J.
1600, North-Holland Publ Co, Amsterdam, Neth
[29] SPECIFYING COMMUNICATING SYSTEMS WITH TEMPORAL LOGIC
CHAOCHEN, Z
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 398 : 304 - 323
[30] On specifying systems that connect to the physical world
Maibaum, Tom
NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2006, 147 : 71 - 83