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 条

[31] Special Issue on 'Performance Evaluation, Modeling and Optimization of Computer Systems'
Sevillano, Jose L.
SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2011, 87 (12): : 1019 - 1020
[32] Special Issue on Performance Modeling and Evaluation of Computer and Telecommunication Systems
Obaidat, Mohammad S.
Vila, Pere
JOURNAL OF NETWORKS, 2015, 10 (01) : 1 - 3
[33] INTRODUCTION TO THE SPECIAL ISSUE ON MODELING AND PERFORMANCE EVALUATION OF PARALLEL SYSTEMS
BECKER, M
JOURNAL OF SYSTEMS AND SOFTWARE, 1986, 6 (1-2) : 5 - 5
[34] SPECIAL ISSUE ON COMPUTER-AIDED VERIFICATION (BASED ON CAV92 WORKSHOP) - INTRODUCTION
PROBST, DK
VANBOCHMANN, G
FORMAL METHODS IN SYSTEM DESIGN, 1995, 6 (01) : 7 - 9
[35] Computer graphics in Spain - Introduction to this special issue
Feito, Francisco R.
Joan-Arinyo, Robert
COMPUTERS & GRAPHICS-UK, 2008, 32 (04): : 383 - 384
[36] Introduction to the Special Issue on Computer Science Education
Connolly, Cornelia
Hall, Tony
TECHTRENDS, 2022, 66 (03) : 384 - 385
[37] The philosophy of computer science: Introduction to the special issue
Turner, Raymond
Eden, Amnon H.
MINDS AND MACHINES, 2007, 17 (02) : 129 - 133
[38] SPECIAL COMPUTER-GRAPHICS ISSUE - INTRODUCTION
BURTON, RP
JOURNAL OF IMAGING TECHNOLOGY, 1991, 17 (04): : 141 - 141
[39] Special issue on Applications of Computer Vision - Introduction
Abbott, L
IMAGE AND VISION COMPUTING, 2000, 18 (10) : 759 - 759
[40] Introduction to the Special Issue on Computer Science Education
Cornelia Connolly
Tony Hall
TechTrends, 2022, 66 : 384 - 385

← 1 2 3 4 5 →