Software engineering and formal methods -- SEFM 2022 collocated workshops : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, revised selected papers / Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri, editors.
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...
Full description
Saved in:
Bibliographic Details
| Corporate Authors: |
Workshop on Artifical Intelligence for Engineering Applications,
Workshop on Formal Integrated Development Environment,
CoSim-CPS (Workshop),
CIFMA (Workshop),
International Conference on Software Engineering and Formal Methods |
|---|
| Other Authors: |
Masci, Paolo
(Editor),
Bernardeschi, Cinzia
(Editor),
Graziani, Pierluigi
(Editor),
Koddenbrock, Mario
(Editor),
Palmieri, Maurizio
(Editor) |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Cham :
Springer,
2023.
|
|---|
| Series: | Lecture notes in computer science ;
13765.
|
|---|
| Subjects: | |
|---|
| Online Access: | Click for online access
|
|---|