Introduction to special issue on verification and evaluation of computer systems

被引：0

作者：

Kamel Barkaoui

Hanifa Boucheneb

机构：

[1] Le Cnam,Cedric, Department of Computer Science

[2] Polytechnique Montreal,Veriform, Department of Computer Engineering

来源：

Innovations in Systems and Software Engineering | 2018年 / 14卷 / 2期

关键词：

D O I：

10.1007/s11334-018-0310-0

中图分类号：

学科分类号：

摘要：

引用

页码：81 / 82

页数：1

共 50 条

[1] Introduction to special issue on verification and evaluation of computer systems
Barkaoui, Kamel
Boucheneb, Hanifa
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2018, 14 (02) : 81 - 82
[2] Introduction to the special issue: Performance evaluation of computer and telecommunications systems
Obaidat, MS
SIMULATION, 1999, 72 (05) : 280 - 282
[3] Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems
Hillston, Jane
Kwiatkowska, Marta
Telek, Miklos
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2009, 35 (02) : 145 - 147
[4] SPECIAL ISSUE ON DISTRIBUTED COMPUTER-SYSTEMS - INTRODUCTION
YAU, SS
IEEE TRANSACTIONS ON COMPUTERS, 1989, 38 (08) : 1057 - 1058
[5] Introduction to the Special Issue on Modeling and Verification of Discrete Event Systems
Khalgui, Mohamed
Li, Zhiwu
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (01)
[6] Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems
Delzanno, Giorgio
Etalle, Sandro
Gabbrielli, Maurizio
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 225 - 226
[7] Introduction to the Special Issue on Runtime Verification
Lu Feng
Dana Fisman
International Journal on Software Tools for Technology Transfer, 2023, 25 : 519 - 520
[8] Introduction to the special issue on runtime verification
Yliès Falcone
César Sánchez
Formal Methods in System Design, 2018, 53 : 1 - 5
[9] Introduction to the special issue on runtime verification
Oleg Sokolsky
Grigore Roşu
Formal Methods in System Design, 2012, 41 : 233 - 235
[10] Introduction to the special issue on runtime verification
Bartocci, Ezio
Majumdar, Rupak
FORMAL METHODS IN SYSTEM DESIGN, 2017, 51 (01) : 1 - 4

← 1 2 3 4 5 →