Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops
Subtitle: Cosim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers
Publisher: Springer International Publishing AG
Published: 2020
Language: eng
ISBN-13: 9783030575052