Introduction to the Special Issue on Verification of Arithmetic Hardware

被引：0

|

作者：

Steven M. German

机构：

[1] IBM T.J. Watson Research Center,

来源：

Formal Methods in System Design | 1999年 / 14卷

关键词：

Operating System; Arithmetic Hardware;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：5 / 6

页数：1

相关论文

共 50 条

[1] Introduction to the special issue on verification of arithmetic hardware
German, SM
FORMAL METHODS IN SYSTEM DESIGN, 1999, 14 (01) : 5 - 6
[2] Introduction to the Special Issue on Computer Arithmetic
Hormigo, Javier
Muller, Jean-Michel
Oberman, Stuart
Revol, Nathalie
Tisserand, Arnaud
Villalba-Moreno, Julio
IEEE TRANSACTIONS ON COMPUTERS, 2017, 66 (12) : 1991 - 1993
[3] INTRODUCTION TO THE SPECIAL ISSUE ON COMPUTER ARITHMETIC
IRWIN, MJ
JULLIEN, G
IEEE TRANSACTIONS ON COMPUTERS, 1994, 43 (08) : 865 - 867
[4] SPECIAL ISSUE ON COMPUTER ARITHMETIC - INTRODUCTION
SWARTZLANDER, EE
IEEE TRANSACTIONS ON COMPUTERS, 1990, 39 (08) : 981 - 982
[5] INTRODUCTION TO SPECIAL ISSUE ON COMPUTER ARITHMETIC
MATULA, DW
KORNERUP, P
IEEE TRANSACTIONS ON COMPUTERS, 1992, 41 (08) : 917 - 919
[6] SPECIAL ISSUE ON SYNTHESIS AND VERIFICATION OF HARDWARE DESIGN
YASUURA, H
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1995, E78D (03) : 197 - 198
[7] Special issue on synthesis and verification of hardware design
Sasao, T
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1997, E80D (10) : 973 - 973
[8] Introduction to the Special Issue on Runtime Verification
Lu Feng
Dana Fisman
International Journal on Software Tools for Technology Transfer, 2023, 25 : 519 - 520
[9] Introduction to the special issue on runtime verification
Yliès Falcone
César Sánchez
Formal Methods in System Design, 2018, 53 : 1 - 5
[10] Introduction to the special issue on runtime verification
Oleg Sokolsky
Grigore Roşu
Formal Methods in System Design, 2012, 41 : 233 - 235

← 1 2 3 4 5 →