SPECIAL ISSUE ON SYNTHESIS AND VERIFICATION OF HARDWARE DESIGN

被引：0

|

作者：

YASUURA, H

机构：

来源：

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS | 1995年 / E78D卷 / 03期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：197 / 198

页数：2

相关论文

共 50 条

[41] Special issue on test and verification of VLSI
Hiraishi, H
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2002, E85D (10) : 1465 - 1465
[42] Special issue: software verification and testing
Mousavi, Mohammad Reza
Pang, Jun
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2013, 9 (02) : 57 - 58
[43] Introduction to the special issue on runtime verification
Bartocci, Ezio
Majumdar, Rupak
FORMAL METHODS IN SYSTEM DESIGN, 2017, 51 (01) : 1 - 4
[44] Introduction to the special issue on runtime verification
Sokolsky, Oleg
Rosu, Grigore
FORMAL METHODS IN SYSTEM DESIGN, 2012, 41 (03) : 233 - 235
[45] Introduction to the special issue on runtime verification
Falcone, Ylies
Sanchez, Cesar
FORMAL METHODS IN SYSTEM DESIGN, 2018, 53 (01) : 1 - 5
[46] Preface to Special Issue on Software Verification
Hoare, C. A. R.
Misra, Jayadev
ACM COMPUTING SURVEYS, 2009, 41 (04)
[47] Special Issue on Services Discovery and Verification
Luo, Min
INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2013, 10 (04) : IV - V
[48] Introduction to the special issue on runtime verification
Oleg Sokolsky
Grigore Roşu
Formal Methods in System Design, 2012, 41 : 233 - 235
[49] Introduction to the special issue on runtime verification
Ezio Bartocci
Rupak Majumdar
Formal Methods in System Design, 2017, 51 : 1 - 4
[50] Introduction to the Special Issue on Runtime Verification
Feng, Lu
Fisman, Dana
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2023, 25 (04) : 519 - 520

← 1 2 3 4 5 →