Opening book details…
Can I read Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, ... Papers (Lecture Notes in Computer Science) on EtoBox?
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, ... Papers (Lecture Notes in Computer Science) by Antonio Cerone (editor), Marco Autili (editor), Alessio Bucaioni (editor), Cláudio Gomes (editor), Pierluigi Graziani (editor), Maurizio Palmieri (editor), Marco Temperini (editor), Gentiane Venture (editor) is a computer science book available to read on EtoBox.
What is Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, ... Papers (Lecture Notes in Computer Science) about?
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
Who reads Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, ... Papers (Lecture Notes in Computer Science)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Antonio Cerone (editor), Marco Autili (editor), Alessio Bucaioni (editor), Cláudio Gomes (editor), Pierluigi Graziani (editor), Maurizio Palmieri (editor), Marco Temperini (editor), Gentiane Venture (editor)
- Publisher
- Springer International Publishing AG
- Published
- 2022
- Language
- EN
- ISBN
- 9783031124280
- Category
- computer science
- Subjects
- Business, Engineering, Mathematics
- Updated
- 2026-03-25
More by Antonio Cerone (editor), Marco Autili (editor), Alessio Bucaioni (editor), Cláudio Gomes (editor), Pierluigi Graziani (editor), Maurizio Palmieri (editor), Marco Temperini (editor), Gentiane Venture (editor)
Similar books
- Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, ... (Lecture Notes in Computer Science, 12524) — Mieke Massink Loek Cleophas (2021)
- Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers — Domenico Bianculli; Radu Calinescu; Bernhard Rumpe (2016)
- Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, ... Papers (Lecture Notes in Computer Science) — Alessandro Aldini (2024)
- 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 Cámara, (Computer scientist); Martin Steffen (2020)
- Pattern Recognition. ICPR International Workshops and Challenges: Virtual Event, January 10–15, 2021, Proceedings, Part VI (Lecture Notes in Computer Science, 12666) — Alberto Del Bimbo , Rita Cucchiara , Stan Sclaroff , Giovanni Maria Farinella , Tao Mei , Marco Bertini , Hugo Jair Escalante , Roberto Vezzani (2021)
- Software Architecture: 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13–17, 2021, Revised Selected Papers (Lecture Notes in Computer Science, 13365) — Patrizia Scandurra , Matthias Galster , Raffaela Mirandola , Danny Weyns (2022)