Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Arief Wicaksana, Lilia Zaourar
Journal title: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers
Journal number: 12524
Journal publisher: Springer International Publishing
Published year: 2021
Published pages: 263-279
DOI identifier: 10.1007/978-3-030-67220-1_20
ISBN: 978-3-030-67219-5
Search
Organisations
- Not specified