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 条

[1] FORMAL METHODS EXPEDITE MICROPROCESSOR-BASED SYSTEM-DESIGN
CAREY, BJ
COMPUTER DESIGN, 1977, 16 (02): : 97 - 105
[2] AN ENGINEERING APPROACH TO FORMAL DIGITAL SYSTEM-DESIGN
LARSSON, M
COMPUTER JOURNAL, 1995, 38 (02): : 101 - 110
[3] METHODS AND TOOLS FOR SYSTEM-DESIGN
BUCKLE, JK
COMPUTER PHYSICS COMMUNICATIONS, 1985, 38 (02) : 165 - 171
[4] NUMERICAL-METHODS IN SYSTEM-DESIGN
PARKER, SR
ZEMANIAN, AH
CIRCUITS SYSTEMS AND SIGNAL PROCESSING, 1994, 13 (06) : 657 - 658
[5] MINI-REACTOR SYSTEM-DESIGN AND IMPLEMENTATION
SMITH, KD
ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1979, (SEP): : 10 - &
[6] A FORMAL MODEL OF COMPUTER ARCHITECTURES FOR DIGITAL SYSTEM-DESIGN ENVIRONMENTS
WILSEY, PA
DASGUPTA, S
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1990, 9 (05) : 473 - 486
[7] SPECIAL ISSUE - METHODS AND FRAMEWORKS FOR SYSTEM-DESIGN
STEWART, TFM
BEHAVIOUR & INFORMATION TECHNOLOGY, 1992, 11 (03) : R1 - R1
[8] NUMERICAL-METHODS IN SYSTEM-DESIGN - PREFACE
SYRMOS, VL
LAUB, AJ
LEWIS, FL
CIRCUITS SYSTEMS AND SIGNAL PROCESSING, 1994, 13 (06) : 659 - 661
[9] PROTOCOL DESIGN AND IMPLEMENTATION USING FORMAL METHODS
VANSINDEREN, M
PIRES, LF
VISSERS, CA
COMPUTER JOURNAL, 1992, 35 (05): : 478 - 491
[10] EMBEDDED SYSTEM-DESIGN WITH ADA AS THE SYSTEM-DESIGN LANGUAGE
WHEELER, TJ
JOURNAL OF SYSTEMS AND SOFTWARE, 1981, 2 (01) : 11 - 21

← 1 2 3 4 5 →