Formal methods in embedded design

被引：6

作者：

Johnson, SD ^{[1
]}

机构：

[1] Indiana Univ, Coll Arts & Sci, Bloomington, IN 47405 USA

来源：

COMPUTER | 2003年 / 36卷 / 11期

关键词：

D O I：

10.1109/MC.2003.1244539

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：104 / 106

页数：3

共 50 条

[21] Using formal methods in designing embedded systems for automotive applications
Damm, W
Eckrich, M
Brockmeyer, U
Wittich, G
Holberg, HJ
[J]. SYSTEM ENGINEERING IN AUTOMOTIVE DESIGN, 1997, 1374 : 349 - 366
[22] Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques
Jiang, Yu
Zhang, Hehua
Li, Zonghui
Deng, Yangdong
Song, Xiaoyu
Gu, Ming
Sun, Jiaguang
[J]. IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2015, 62 (02) : 1270 - 1278
[23] Using formal methods to design Measuring Systems
Lukaszewski, Robert
Winiecki, Wieslaw
[J]. 2005 IEEE INTELLIGENT DATA ACQUISITION AND ADVANCED COMPUTING SYSTEMS: TECHNOLOGY AND APPLICATIONS, 2005, : 349 - 354
[24] PROTOCOL DESIGN AND IMPLEMENTATION USING FORMAL METHODS
VANSINDEREN, M
PIRES, LF
VISSERS, CA
[J]. COMPUTER JOURNAL, 1992, 35 (05): : 478 - 491
[25] FORMAL METHODS IN SYSTEM-DESIGN AND IMPLEMENTATION
SUFRIN, B
[J]. COMPUTER PHYSICS COMMUNICATIONS, 1989, 57 (1-3) : 108 - 117
[26] AN OVERVIEW OF SOME FORMAL METHODS FOR PROGRAM DESIGN
HOARE, CAR
[J]. COMPUTER, 1987, 20 (09) : 85 - 91
[27] Formal design and verification of real-time embedded software
Hsiung, PA
Lin, SW
[J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2004, 3302 : 382 - 397
[28] Scalable formal design methods for asynchronous VLSI
Manohar, R
[J]. ACM SIGPLAN NOTICES, 2002, 37 (01) : 245 - 246
[29] FORMAL METHODS IN COMPUTER-SYSTEM DESIGN
HOARE, CAR
[J]. COMPUTER PHYSICS COMMUNICATIONS, 1989, 57 (1-3) : 206 - 210
[30] INTRODUCTION TO FORMAL METHODS OF SOFTWARE-DESIGN
DAVIES, AC
[J]. MICROPROCESSORS AND MICROSYSTEMS, 1988, 12 (10) : 547 - 553

← 1 2 3 4 5 →