Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, september 16–20, 2019, revised selected papers / Javier Camara, Martin Steffen (eds.)
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture notes in computer science ; 12226 | Springer eBook CollectionPublisher: Cham : Springer International Publishing, 2020Publisher: Cham : Springer, [2020]Description: 1 Online-Ressource (x, 275 Seiten) : IllustrationenISBN:- 9783030575069
No physical items for this record