Formal methods in embedded design

被引：6

作者：

Johnson, SD ^{[1
]}

机构：

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

来源：

关键词：

D O I：

10.1109/MC.2003.1244539

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：104 / 106

页数：3

共 50 条

[31] AN OVERVIEW OF SOME FORMAL METHODS FOR PROGRAM DESIGN
HOARE, CAR
[J]. COMPUTER, 1987, 20 (09) : 85 - 91
[32] Formal design and verification of real-time embedded software
Hsiung, PA
Lin, SW
[J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2004, 3302 : 382 - 397
[33] Scalable formal design methods for asynchronous VLSI
Manohar, R
[J]. ACM SIGPLAN NOTICES, 2002, 37 (01) : 245 - 246
[34] Formal Methods in System Design: Guest editorial
Naval Research Laboratory, Washington, DC, United States
不详
[J]. Formal Methods Syst Des, 2007, 1 (1-3):
[35] APPLICATION OF FORMAL METHODS IN SYSTEM DESIGN.
Norris, Mark T.
[J]. British Telecom technology journal, 1985, 3 (04): : 53 - 59
[36] FORMAL METHODS IN COMPUTER-SYSTEM DESIGN
HOARE, CAR
[J]. COMPUTER PHYSICS COMMUNICATIONS, 1989, 57 (1-3) : 206 - 210
[37] INTRODUCTION TO FORMAL METHODS OF SOFTWARE-DESIGN
DAVIES, AC
[J]. MICROPROCESSORS AND MICROSYSTEMS, 1988, 12 (10) : 547 - 553
[38] Formal analysis methods of network security design
Stawowski, Mariusz
[J]. SECRYPT 2007: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY, 2007, : 313 - 318
[39] The need for formal methods for integrated circuit design
Keutzer, K
[J]. FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 1 - 18
[40] Applying Integrated Formal Methods on CPS Design
Misson, Henrique Amaral
Goncalves, Fernando Silvano
Becker, Leandro Buss
[J]. 2019 IX BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC), 2019,