Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, Cosim-Cps, Opencert, Asyde, Virtual Event, December 6-10, 2021, Revise

Contributor(s): Cerone, Antonio (Editor), Autili, Marco (Editor), Bucaioni, Alessio (Editor), Gomes, Cláudio (Editor), Graziani, Pierluigi (Editor), Palmieri, Maurizio (Editor), Temperini, Marco (Editor), Venture, Gentiane (Editor)

ISBN: 9783031124280

Publisher: Springer

Binding Types:

Paperback

$54.99

Digicover (1-4 copies)

$67.94 (Final Price)

Readerbound (5-99 copies)

$66.74 (100+ copies: $65.99)

List/retail price:

$54.99

Pub Date: September 25, 2022

Lexile Code: 0000

Features: Illustrated

Target Age Group: NA to NA

Physical Info: 0.75" H x 9.21" L x 6.14" W ( 1.12 lbs) 350 pages

BISAC Categories:

Series: Lecture Notes in Computer Science

Descriptions, Reviews, etc.

Description: 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 washeld virtually.