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.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
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