Introduction to the special issue for SPIN 2021

被引：0

作者：

Alfons Laarman

Ana Sokolova

机构：

[1] Leiden University,

[2] University of Salzburg,undefined

来源：

International Journal on Software Tools for Technology Transfer | 2023年 / 25卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

The 27th International Symposium on Model Checking Software, SPIN 2021, was held online, July 12, 2021. The current special issue contains extended versions of three selected works published at the symposium. This short introduction presents these selected papers and the selection process.

引用

页码：75 / 76

页数：1

共 50 条

[1] Introduction to the special issue for SPIN 2021
Laarman, Alfons
Sokolova, Ana
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2023, 25 (01) : 75 - 76
[2] Introduction to the ECOC 2021 Special Issue Introduction
Hamaide, Jean-Pierre
Lerminiaux, Christian
Chanclou, Philippe
Sillard, Pierre
JOURNAL OF OPTICAL COMMUNICATIONS AND NETWORKING, 2022, 14 (06) : ECOC1 - ECOC1
[3] Introduction to the Special Issue on SAP 2021
Jain, Eakta
Olivier, Anne-Helene
ACM TRANSACTIONS ON APPLIED PERCEPTION, 2021, 18 (04)
[4] Introduction to the ONDM 2021 special issue
Furdek, Marija
Monti, Paolo
Mas Machuca, Carmen
Turkiewicz, Jaroslaw
Larrabeiti, David
JOURNAL OF OPTICAL COMMUNICATIONS AND NETWORKING, 2022, 14 (05) : ONDM1 - ONDM2
[5] Introduction to the Special Issue on QEST 2021
Abate, Alessandro
Marin, Andrea
ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2023, 33 (04):
[6] Introduction to the Special Issue on ESOP 2021
Yoshida, Nobuko
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2022, 44 (03):
[7] Introduction to the Special Issue on FPT 2021
Koch, Andreas
Zhang, Wei
ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, 2023, 16 (02)
[8] Introduction to the special issue on PAKDD'2021
Krishna Reddy, P.
INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, 2024, 17 (04) : 335 - 336
[9] Introduction to the special issue for SPIN 2019
Biondi, Fabrizio
Given-Wilson, Thomas
Legay, Axel
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2020, 22 (05) : 563 - 564
[10] Introduction to the special issue for SPIN 2019
Fabrizio Biondi
Thomas Given-Wilson
Axel Legay
International Journal on Software Tools for Technology Transfer, 2020, 22 : 563 - 564

← 1 2 3 4 5 →