FORMAL METHODS IN SYSTEM-DESIGN AND IMPLEMENTATION

被引：0
|
作者：
SUFRIN, B
机构：
来源：
COMPUTER PHYSICS COMMUNICATIONS | 1989年 / 57卷 / 1-3期
关键词：
D O I：
10.1016/0010-4655(89)90198-7
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
引用
收藏
页码：108 / 117
页数：10
相关论文
共 50 条
  • [21] Preface for the formal methods in system design special issue on 'Formal Methods 2021'
    Huisman, Marieke
    Pasareanu, Corina S.
    Zhan, Naijun
    FORMAL METHODS IN SYSTEM DESIGN, 2022, 61 (01) : 1 - 2
  • [22] METHODS OF OBTAINING AQUIFER DATA FOR GROUNDWATER REMEDIATION SYSTEM-DESIGN
    GARVEY, TP
    EVENSEN, JM
    MENZIE, RJ
    AAPG BULLETIN-AMERICAN ASSOCIATION OF PETROLEUM GEOLOGISTS, 1991, 75 (02): : 364 - 365
  • [23] COLLECTION OF PAPERS FROM SYMPOSIUM ON METHODS AND FRAMEWORKS FOR SYSTEM-DESIGN
    FITTER, M
    BEHAVIOUR & INFORMATION TECHNOLOGY, 1992, 11 (03) : R2 - R2
  • [24] COMPUTER-AIDED CHROMATOGRAPHIC SYSTEM-DESIGN OF ANALYTICAL METHODS
    KOTOV, SV
    KOROLKOV, AI
    LANIN, SN
    LAVROV, VE
    POPOV, AA
    SERGEEV, SK
    JOURNAL OF ANALYTICAL CHEMISTRY OF THE USSR, 1991, 46 (02): : 195 - 201
  • [25] TRIDEC SYSTEM-DESIGN
    YASUDA, H
    KAWANISHI, H
    MATSUOKA, T
    KANAYA, F
    REVIEW OF THE ELECTRICAL COMMUNICATIONS LABORATORIES, 1977, 25 (11-1): : 1337 - 1346
  • [26] SYSTEM-DESIGN AND PERFORMANCE
    GAMMIE, J
    MOFFATT, JP
    MOSELEY, RH
    ROBINSON, WA
    BELL SYSTEM TECHNICAL JOURNAL, 1983, 62 (10): : 3255 - 3312
  • [27] AN EXPERT SYSTEM FOR SYSTEM-DESIGN
    HEINRICH, S
    CHRYSLER, E
    JOURNAL OF SYSTEMS MANAGEMENT, 1988, 39 (11): : 17 - 25
  • [28] TOTAL SYSTEM-DESIGN
    不详
    JOURNAL AMERICAN WATER WORKS ASSOCIATION, 1978, 70 (07): : 349 - 349
  • [29] MICROPROGRAMMED SYSTEM-DESIGN
    JOSHI, S
    MITHANI, D
    COMPUTER DESIGN, 1982, 21 (06): : 151 - &
  • [30] A SYSTEM-DESIGN FOR INTEGRATION
    MARTIN, PG
    PROCEEDINGS : FORTY-FOURTH ANNUAL SYMPOSIUM ON INSTRUMENTATION FOR THE PROCESS INDUSTRIES, 1989, : 95 - 100
12345