Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops [E-Book] : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers / edited by Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri.
This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022. The 19 full papers presented together with 9 short papers in this volume we...
Saved in:
Full text |
|
Personal Name(s): | Bernardeschi, Cinzia, editor |
Graziani, Pierluigi, editor / Koddenbrock, Mario, editor / Masci, Paolo, editor / Palmieri, Maurizio, editor | |
Edition: |
1st edition 2023. |
Imprint: |
Cham :
Springer,
2023
|
Physical Description: |
IX, 420 pages 185 illustrations, 99 illustrations in color (online resource) |
Note: |
englisch |
ISBN: |
9783031262364 |
DOI: |
10.1007/978-3-031-26236-4 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Lecture Notes in Computer Science ;
13765 |
Subject (LOC): |
- Artificial Intelligence
- Co-Simulation
- Formal Methods
- Formal Modelling
- Verification and Validation
- High Confidence Systems
- Integrated Development Environment
- Interdisciplinary Foundations of Cognition
- Logics; Simulation; Software Engineering; System Engineering.