Preface: Special issue on software verification and testing

被引：0

作者：

Merayo, Mercedes G. ^{[1
]}

Salaun, Gwen ^{[2
]}

机构：

[1] Univ Complutense Madrid, Madrid, Spain

[2] Univ Grenoble Alpes, Grenoble, France

来源：

JOURNAL OF SYSTEMS AND SOFTWARE | 2017年 / 132卷

关键词：

D O I：

10.1016/j.jss.2017.07.025

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：317 / 318

页数：2

共 50 条

[31] Reversible Computing: Foundations and Software Preface of Special Issue
Gluck, Robert
Yokoyama, Tetsuo
NEW GENERATION COMPUTING, 2018, 36 (03) : 143 - 144
[32] Special Issue on Open Source Software Computing Preface
Hababeh, Ismail
INTERNATIONAL JOURNAL OF CLOUD APPLICATIONS AND COMPUTING, 2016, 6 (02)
[33] SPECIAL ISSUE ON SOFTWARE-RELIABILITY AND SAFETY - PREFACE
LITTLEWOOD, B
MILLER, D
RELIABILITY ENGINEERING & SYSTEM SAFETY, 1991, 32 (1-2) : R5 - R7
[34] Special issue: Software engineering: Systems and tools - Preface
Al-Ghamdi, J
Sarfraz, M
Ali, J
Ahmad, M
INFORMATION SCIENCES, 2002, 140 (3-4) : 193 - 194
[35] Preface to the special issue on software evolution, adaptability and variability
Zaidman, Andy
Brichau, Johan
SCIENCE OF COMPUTER PROGRAMMING, 2011, 76 (12) : 1075 - 1077
[36] Special issue on software clones (IWSC'12) Preface
Inoue, Katsuro
Koschke, Rainer
Krinke, Jens
SCIENCE OF COMPUTER PROGRAMMING, 2014, 95 : 389 - 389
[37] Special issue on Hardware Verification Workshop (HWVW '10) Preface
Biere, Armin
Yorav, Karen
FORMAL METHODS IN SYSTEM DESIGN, 2011, 39 (02) : 115 - 116
[38] Special issue on Computer Aided Verification (CAV '11) Preface
Gopalakrishnan, Ganesh L.
Qadeer, Shaz
FORMAL METHODS IN SYSTEM DESIGN, 2012, 41 (01) : 3 - 3
[39] SPECIAL ISSUE ON DESIGN AND VERIFICATION OF COMPLEX DIGITAL SYSTEMS Preface
Lopez, Sebastian
MICROPROCESSORS AND MICROSYSTEMS, 2011, 35 (08) : 657 - 658
[40] Special issue on software framework for Robot system integration PREFACE
Ohara, Kenichi
Ando, Noriaki
Bordignon, Mirko
ADVANCED ROBOTICS, 2022, 36 (11) : 501 - 501

← 1 2 3 4 5 →