Original language | English |
---|---|
Title of host publication | Software Engineering and Formal Methods |
Subtitle of host publication | SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers |
Editors | Javier Camara, Martin Steffen |
Place of Publication | Switzerland |
Publisher | Springer Nature |
Pages | 103-118 |
ISBN (Electronic) | 978-3-030-57506-9 |
ISBN (Print) | 978-3-030-57505-2 |
DOIs | |
Publication status | Published - 2020 |
Publication series
Name | Lecture Notes in Computer Scinece |
---|---|
Volume | 12226 |