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 条
  • [31] SYSTEM-DESIGN AND STRUCTURING
    RANDELL, B
    COMPUTER JOURNAL, 1986, 29 (04): : 300 - 306
  • [32] SYSTEM-DESIGN PRINCIPLES
    GREENWOLD, DJ
    JOURNAL OF MICROGRAPHICS, 1977, 11 (01): : 25 - 31
  • [33] Formal Methods in System Design: Editorial note
    Mery, Dominique
    Sanders, Beverly
    2002, Kluwer Academic Publishers (20)
  • [34] CLOCK SYSTEM-DESIGN
    WAGNER, KD
    IEEE DESIGN & TEST OF COMPUTERS, 1988, 5 (05): : 9 - 27
  • [35] ANALOG SYSTEM-DESIGN
    GOODENOUGH, F
    ELECTRONIC DESIGN, 1989, 37 (01) : 104 - &
  • [36] AIR SYSTEM-DESIGN
    HOFFMAN, X
    ASHRAE JOURNAL-AMERICAN SOCIETY OF HEATING REFRIGERATING AND AIR-CONDITIONING ENGINEERS, 1991, 33 (01): : 30 - 30
  • [37] SYSTEM-DESIGN OF PORTS
    KUDO, K
    DOCK & HARBOUR AUTHORITY, 1972, 53 (621): : 100 - &
  • [38] MEMORY SYSTEM-DESIGN
    PRICE, L
    MICROPROCESSORS, 1978, 2 (02): : 94 - 95
  • [39] LOUDSPEAKER SYSTEM-DESIGN
    LINKWITZ, S
    WIRELESS WORLD, 1978, 84 (1509): : 52 - 56
  • [40] PUMPING SYSTEM-DESIGN
    ENDEJANN, RH
    ASHRAE JOURNAL-AMERICAN SOCIETY OF HEATING REFRIGERATING AND AIR-CONDITIONING ENGINEERS, 1974, 16 (06): : 36 - 37
12345