Introduction to special issue on verification and evaluation of computer systems

被引：0

作者：

Barkaoui, Kamel ^{[1
]}

Boucheneb, Hanifa ^{[2
]}

机构：

[1] Cnam, Cedr, Dept Comp Sci, Paris, France

[2] Polytech Montreal, Veriform, Dept Comp Engn, Montreal, PQ, Canada

来源：

INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING | 2018年 / 14卷 / 02期

关键词：

D O I：

10.1007/s11334-018-0310-0

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：81 / 82

页数：2

共 50 条

[21] SPECIAL ISSUE ON COMPUTER CHESS - INTRODUCTION
BERLINER, HJ
BEAL, DF
ARTIFICIAL INTELLIGENCE, 1990, 43 (01) : 1 - 5
[22] INTRODUCTION TO THE SPECIAL ISSUE ON COMPUTER ARITHMETIC
IRWIN, MJ
JULLIEN, G
IEEE TRANSACTIONS ON COMPUTERS, 1994, 43 (08) : 865 - 867
[23] SPECIAL ISSUE ON COMPUTER ARITHMETIC - INTRODUCTION
SWARTZLANDER, EE
IEEE TRANSACTIONS ON COMPUTERS, 1990, 39 (08) : 981 - 982
[24] Special issue on hybrid systems - Introduction to the special issue
Antsaklis, P
Lemmon, M
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1998, 8 (02): : 101 - 103
[25] Introduction to the special issue on computational logic for verification
Vidal, German
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2018, 18 (02) : 122 - 125
[26] Introduction to the special issue on verification of arithmetic hardware
German, SM
FORMAL METHODS IN SYSTEM DESIGN, 1999, 14 (01) : 5 - 6
[27] Introduction to the Special Issue on Verification of Arithmetic Hardware
Steven M. German
Formal Methods in System Design, 1999, 14 : 5 - 6
[28] Special issue: Verification of lazy caching - Introduction
Merritt, M
DISTRIBUTED COMPUTING, 1999, 12 (2-3) : 55 - 56
[29] Introduction to the special issue on verification and computational logic
Leuschel, M
Podelski, A
Ramakrishnan, CR
Ultes-Nitsche, U
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2004, 4 : 543 - 544
[30] Special Issue: Mathematics of Resource Sharing in Computer and Communication Systems introduction
Barford, Paul
Borst, Sem
Squillante, Mark S.
QUEUEING SYSTEMS, 2012, 71 (03) : 243 - 245

← 1 2 3 4 5 →