FORMAL METHODS IN SYSTEM-DESIGN AND IMPLEMENTATION

被引：0

作者：

SUFRIN, B

机构：

来源：

关键词：

D O I：

10.1016/0010-4655(89)90198-7

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

引用

页码：108 / 117

页数：10

共 50 条

[41] Formal Methods in System Design: Guest editorial
Naval Research Laboratory, Washington, DC, United States
不详
Formal Methods Syst Des, 2007, 1 (1-3):
[42] APPLICATION OF FORMAL METHODS IN SYSTEM DESIGN.
Norris, Mark T.
British Telecom technology journal, 1985, 3 (04): : 53 - 59
[43] FORMAL METHODS IN COMPUTER-SYSTEM DESIGN
HOARE, CAR
COMPUTER PHYSICS COMMUNICATIONS, 1989, 57 (1-3) : 206 - 210
[44] DIGITAL SYSTEM-DESIGN
LEONARD, M
ELECTRONIC DESIGN, 1989, 37 (01) : 88 - &
[45] DISABLED SYSTEM-DESIGN
CAMPBELL, A
ELECTRONICS WORLD & WIRELESS WORLD, 1992, (1674): : 408 - 408
[46] DUCT SYSTEM-DESIGN
AVERY, G
ASHRAE JOURNAL-AMERICAN SOCIETY OF HEATING REFRIGERATING AND AIR-CONDITIONING ENGINEERS, 1990, 32 (07): : 11 - 11
[47] SYSTEM-DESIGN FOR USABILITY
DEMERS, RA
COMMUNICATIONS OF THE ACM, 1981, 24 (08) : 494 - 501
[48] KEYING INTO SYSTEM-DESIGN
不详
ELECTRONIC DESIGN, 1982, 30 (02) : 69 - 69
[49] LOUDSPEAKER SYSTEM-DESIGN
LINKWITZ, S
WIRELESS WORLD, 1978, 84 (1516): : 78 - 83
[50] PCAP SYSTEM-DESIGN
BILBAO, KA
WESTERN ELECTRIC ENGINEER, 1978, 22 (03): : 14 - 23