Towards Secure Digital Twins

Tomas Kulik; Cláudio Gomes; Hugo Daniel Macedo; Stefan Hallerstede; Peter Gorm Larsen

doi:10.1007/978-3-031-19762-8_11

Towards Secure Digital Twins

Tomas Kulik^*, Cláudio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen

^*Corresponding author af dette arbejde

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

6 Citationer (Scopus)

Abstract

Originalsprog	Engelsk
Titel	Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022
Redaktører	Tiziana Margaria, Bernhard Steffen
Antal sider	18
Udgivelsessted	Cham
Forlag	Springer
Publikationsdato	2022
Sider	159-176
ISBN (Trykt)	978-3-031-19761-1
DOI	https://doi.org/10.1007/978-3-031-19762-8_11
Status	Udgivet - 2022
Begivenhed	11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 - Rhodes, Grækenland Varighed: 22 okt. 2022 → 30 okt. 2022

Konference

Konference	11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
Land/Område	Grækenland
By	Rhodes
Periode	22/10/2022 → 30/10/2022

Navn	Lecture Notes in Computer Science
Vol/bind	13704
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-031-19762-8_11

Citationsformater

@inproceedings{f4ea6e045de94c5181b089299f7c6153,

title = "Towards Secure Digital Twins",

author = "Tomas Kulik and Cl{\'a}udio Gomes and Macedo, {Hugo Daniel} and Stefan Hallerstede and Larsen, {Peter Gorm}",

year = "2022",

doi = "10.1007/978-3-031-19762-8_11",

language = "English",

isbn = "978-3-031-19761-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "159--176",

editor = "{ Margaria}, Tiziana and { Steffen}, Bernhard",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022",

address = "Netherlands",

note = "11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 ; Conference date: 22-10-2022 Through 30-10-2022",

}

Kulik, T, Gomes, C , Macedo, HD , Hallerstede, S & Larsen, PG 2022, Towards Secure Digital Twins. i T Margaria & B Steffen (red), Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022. Springer, Cham, Lecture Notes in Computer Science, bind 13704, s. 159-176, 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, Rhodes, Grækenland, 22/10/2022. https://doi.org/10.1007/978-3-031-19762-8_11

Towards Secure Digital Twins. / Kulik, Tomas; Gomes, Cláudio ; Macedo, Hugo Daniel et al.
Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022. red. / Tiziana Margaria; Bernhard Steffen. Cham: Springer, 2022. s. 159-176 (Lecture Notes in Computer Science, Bind 13704).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Towards Secure Digital Twins

AU - Kulik, Tomas

AU - Gomes, Cláudio

AU - Macedo, Hugo Daniel

AU - Hallerstede, Stefan

AU - Larsen, Peter Gorm

PY - 2022

Y1 - 2022

U2 - 10.1007/978-3-031-19762-8_11

DO - 10.1007/978-3-031-19762-8_11

M3 - Article in proceedings

AN - SCOPUS:85142684079

SN - 978-3-031-19761-1

T3 - Lecture Notes in Computer Science

SP - 159

EP - 176

BT - Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

CY - Cham

T2 - 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022

Y2 - 22 October 2022 through 30 October 2022

ER -

Towards Secure Digital Twins

Abstract

Konference

Adgang til dokumentet

Fingeraftryk

Citationsformater