Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13230)
Included in the following conference series:
Conference proceedings info: SEFM 2021.
Buy print copy
About this book
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.
Similar content being viewed by others
Keywords
- artificial intelligence
- computer networks
- computer programming
- computer systems
- digital signal processing
- distributed computer systems
- distributed systems
- embedded systems
- knowledge-based system
- machine learning
- mobile robots
- network protocols
- object-oriented programming
- robotics
- signal processing
- software architecture
- software design
- software engineering
Table of contents (24 papers)
-
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
Other volumes
-
Software Engineering and Formal Methods
-
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Editors and Affiliations
Bibliographic Information
Book Title: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Book Subtitle: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers
Editors: Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, … Gentiane Venture
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-12429-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2022
Softcover ISBN: 978-3-031-12428-0Published: 25 September 2022
eBook ISBN: 978-3-031-12429-7Published: 24 September 2022
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 350
Number of Illustrations: 27 b/w illustrations, 82 illustrations in colour
Topics: Logics and Meanings of Programs, Control, Robotics, Mechatronics, Software Engineering/Programming and Operating Systems, Artificial Intelligence, Computer Applications, Control and Systems Theory