Special issue:: Synthesis and verification -: Preface

被引：0

作者：

Edwards, M ^{[1
]}

Józwiak, L ^{[1
]}

机构：

[1] Eindhoven Univ Tech, Fac Elect Engn, NL-5600 MB Eindhoven, Netherlands

来源：

JOURNAL OF SYSTEMS ARCHITECTURE | 2003年 / 49卷 / 12-15期

关键词：

D O I：

10.1016/j.sysarc.2003.08.003

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：485 / 487

页数：3

共 50 条

[1] Preface to Special Issue on Software Verification
Hoare, C. A. R.
Misra, Jayadev
[J]. ACM COMPUTING SURVEYS, 2009, 41 (04)
[2] Preface: Special issue on software verification and testing
Merayo, Mercedes G.
Salaun, Gwen
[J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2017, 132 : 317 - 318
[3] Special issue on software specification and verification - Preface
Wing, JM
[J]. FORMAL METHODS IN SYSTEM DESIGN, 1996, 8 (02) : 103 - 104
[4] Preface: Special Issue on Verification of Objects at Runtime Execution
Ancona, Davide
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2019, 182 : 88 - 89
[5] Special issue on Hardware Verification Workshop (HWVW '10) Preface
Biere, Armin
Yorav, Karen
[J]. FORMAL METHODS IN SYSTEM DESIGN, 2011, 39 (02) : 115 - 116
[6] Preface to the special issue on Numerical Software: Design, Analysis and Verification
Gil, Amparo
Muller, Jean-Michel
Segura, Javier
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2014, 90 : 1 - 1
[7] Special issue on Computer Aided Verification (CAV '11) Preface
Gopalakrishnan, Ganesh L.
Qadeer, Shaz
[J]. FORMAL METHODS IN SYSTEM DESIGN, 2012, 41 (01) : 3 - 3
[8] SPECIAL ISSUE ON DESIGN AND VERIFICATION OF COMPLEX DIGITAL SYSTEMS Preface
Lopez, Sebastian
[J]. MICROPROCESSORS AND MICROSYSTEMS, 2011, 35 (08) : 657 - 658
[9] Special issue on synthesis and verification of hardware design
Sasao, T
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1997, E80D (10) : 973 - 973
[10] SPECIAL ISSUE ON SYNTHESIS AND VERIFICATION OF HARDWARE DESIGN
YASUURA, H
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1995, E78D (03) : 197 - 198

← 1 2 3 4 5 →