Produktbild: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10,2021, Revised Selected Papers, Lecture Notes in Computer Science 13230

ISBN: 3031124286
ISBN 13: 9783031124280
Herausgeber: Antonio Cerone/Marco Autili/Alessio Bucaioni et al
Verlag: Springer Verlag GmbH
Umfang: xi, 350 S., 27 s/w Illustr., 82 farbige Illustr., 350 p. 109 illus., 82 illus. in color.
Erscheinungsdatum: 25.09.2022
Auflage: 1/2022
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 6167750 Kategorie:

Beschreibung

This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021. The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks. SEFM 2021 presents the following four workshops: CIFMA 2021 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSimCPS 2021 5th Workshop on Formal CoSimulation of CyberPhysical Systems;OpenCERT 2021 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 3rd International Workshop on Automated and verifiable Software sYstem Development. Due to the Corona pandemic this event washeld virtually.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …