An FMI-Based Initialization Plugin for INTO-CPS Maestro 2

Simon Thrane Hansen; Casper Thule; Cláudio Gomes

doi:10.1007/978-3-030-67220-1_22

An FMI-Based Initialization Plugin for INTO-CPS Maestro 2

Simon Thrane Hansen^*, Casper Thule, Cláudio Gomes

^*Corresponding author for this work

Department of Electrical and Computer Engineering - Software Engineering & Computing systems

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

8 Citations (Scopus)

Abstract

Original language	English
Title of host publication	Software Engineering and Formal Methods : SEFM 2020 Collocated Workshops
Editors	Loek Cleophas, Mieke Massink
Number of pages	16
Place of publication	Cham
Publisher	Springer
Publication date	2021
Pages	295-310
ISBN (Print)	9783030672195
DOIs	https://doi.org/10.1007/978-3-030-67220-1_22
Publication status	Published - 2021
Event	International Conference on Software Engineering and Formal Methods - Centre for Mathematics and Informatics, virtual, Amsterdam, Netherlands Duration: 14 Sept 2020 → 17 Sept 2020 Conference number: 18

Conference

Conference	International Conference on Software Engineering and Formal Methods
Number	18
Location	Centre for Mathematics and Informatics, virtual
Country/Territory	Netherlands
City	Amsterdam
Period	14/09/2020 → 17/09/2020

Series	Lecture Notes in Computer Science
Volume	12524
ISSN	0302-9743

Access to Document

10.1007/978-3-030-67220-1_22

Cite this

@inproceedings{506f004296d5441fbbbbd013b1bef073,

title = "An FMI-Based Initialization Plugin for INTO-CPS Maestro 2",

author = "Hansen, {Simon Thrane} and Casper Thule and Cl{\'a}udio Gomes",

note = "ASYDE, CIFMA, and CoSim-CPS, 2020, Revised Selected Papers; International Conference on Software Engineering and Formal Methods, SEFM 2020 ; Conference date: 14-09-2020 Through 17-09-2020",

year = "2021",

doi = "10.1007/978-3-030-67220-1_22",

language = "English",

isbn = "9783030672195",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "295--310",

editor = "Loek Cleophas and Mieke Massink",

booktitle = "Software Engineering and Formal Methods",

address = "Netherlands",

}

Hansen, ST, Thule, C & Gomes, C 2021, An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. in L Cleophas & M Massink (eds), Software Engineering and Formal Methods: SEFM 2020 Collocated Workshops. Springer, Cham, Lecture Notes in Computer Science, vol. 12524, pp. 295-310, International Conference on Software Engineering and Formal Methods, Amsterdam, Netherlands, 14/09/2020. https://doi.org/10.1007/978-3-030-67220-1_22

An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. / Hansen, Simon Thrane; Thule, Casper; Gomes, Cláudio.
Software Engineering and Formal Methods: SEFM 2020 Collocated Workshops. ed. / Loek Cleophas; Mieke Massink. Cham: Springer, 2021. p. 295-310 (Lecture Notes in Computer Science, Vol. 12524).

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - An FMI-Based Initialization Plugin for INTO-CPS Maestro 2

AU - Hansen, Simon Thrane

AU - Thule, Casper

AU - Gomes, Cláudio

N1 - Conference code: 18

PY - 2021

Y1 - 2021

U2 - 10.1007/978-3-030-67220-1_22

DO - 10.1007/978-3-030-67220-1_22

M3 - Article in proceedings

AN - SCOPUS:85101498944

SN - 9783030672195

T3 - Lecture Notes in Computer Science

SP - 295

EP - 310

BT - Software Engineering and Formal Methods

A2 - Cleophas, Loek

A2 - Massink, Mieke

PB - Springer

CY - Cham

T2 - International Conference on Software Engineering and Formal Methods

Y2 - 14 September 2020 through 17 September 2020

ER -

An FMI-Based Initialization Plugin for INTO-CPS Maestro 2

Abstract

Conference

Access to Document

Fingerprint

Cite this