Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, ... 13230 (Lecture Notes in Computer Science) - Tapa blanda

 
9783031124280: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, ... 13230 (Lecture Notes in Computer Science)
Tapa blanda
ISBN 10: 3031124286 ISBN 13: 9783031124280
Editorial: Springer, 2022

Sinopsis

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;
CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical 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 was held virtually.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2022
Idioma
Inglés
ISBN 10 
3031124286
ISBN 13 
9783031124280
Encuadernación
Tapa blanda
Número de edición
1
Número de páginas
364
Editor
Cerone Antonio, Autili Marco, Bucaioni Alessio, Gomes Cláudio, Graziani Pierluigi, Palmieri Maurizio, Temperini Marco, Venture Gentiane
Contacto del fabricante
no disponible
Persona responsable
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Alemania