Introduction to the special issue for SPIN 2019

Fabrizio Biondi; Thomas Given-Wilson; Axel Legay

doi:10.1007/s10009-020-00580-1

Introduction to the special issue for SPIN 2019

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay^*

^*Corresponding author for this work

Research output: Contribution to journal › Journal article › Research › peer-review

Abstract

This short introduction presents the selected papers from SPIN 2019.

Original language	English
Journal	International Journal on Software Tools for Technology Transfer
Volume	22
Issue number	5
Pages (from-to)	563-564
Number of pages	2
ISSN	1433-2779
DOIs	https://doi.org/10.1007/s10009-020-00580-1
Publication status	Published - Oct 2020

Keywords

Applications
Safety
Security
Statistical model checking

Access to Document

10.1007/s10009-020-00580-1

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@article{94cf9e1577954366b1cf1abf826efa86,

title = "Introduction to the special issue for SPIN 2019",

abstract = "This short introduction presents the selected papers from SPIN 2019.",

keywords = "Applications, Safety, Security, Statistical model checking",

author = "Fabrizio Biondi and Thomas Given-Wilson and Axel Legay",

note = "Publisher Copyright: {\textcopyright} 2020, Springer-Verlag GmbH Germany, part of Springer Nature.",

year = "2020",

month = oct,

doi = "10.1007/s10009-020-00580-1",

language = "English",

volume = "22",

pages = "563--564",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Physica-Verlag",

number = "5",

}

TY - JOUR

T1 - Introduction to the special issue for SPIN 2019

AU - Biondi, Fabrizio

AU - Given-Wilson, Thomas

AU - Legay, Axel

PY - 2020/10

Y1 - 2020/10

N2 - This short introduction presents the selected papers from SPIN 2019.

AB - This short introduction presents the selected papers from SPIN 2019.

KW - Applications

KW - Safety

KW - Security

KW - Statistical model checking

UR - http://www.scopus.com/inward/record.url?scp=85086043389&partnerID=8YFLogxK

U2 - 10.1007/s10009-020-00580-1

DO - 10.1007/s10009-020-00580-1

M3 - Journal article

AN - SCOPUS:85086043389

SN - 1433-2779

VL - 22

SP - 563

EP - 564

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 5

ER -

Introduction to the special issue for SPIN 2019

Abstract

Keywords

Access to Document

AUB Link

Other files and links

Fingerprint

Cite this