
Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13765)
Included in the following conference series:
Conference proceedings info: SEFM 2022.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: AI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications; F-IDE 2022: 7th Workshop on Formal Integrated Development Environment; CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems; CIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.
Similar content being viewed by others
Keywords
- artificial intelligence
- computer hardware
- computer programming
- computer science
- computer systems
- embedded systems
- engineering
- formal logic
- fuzzy sets
- knowledge-based system
- linguistics
- machine learning
- mathematics
- mobile robots
- object-oriented programming
- robotics
- signal processing
- software architecture
- software design
- software engineering
Table of contents (31 papers)
-
AI4EA 2022 - 1st Berlin Workshop on Artificial Intelligence for Engineering Applications
-
F-IDE 2022 - 7th Workshop on Formal Integrated Development Environment
Other volumes
-
Software Engineering and Formal Methods
-
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
Editors and Affiliations
Bibliographic Information
Book Title: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
Book Subtitle: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers
Editors: Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-26236-4
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 2023
Softcover ISBN: 978-3-031-26235-7Published: 11 February 2023
eBook ISBN: 978-3-031-26236-4Published: 10 February 2023
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 420
Number of Illustrations: 86 b/w illustrations, 99 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Computer System Implementation, Theory of Computation, Programming Techniques