Software engineering and formal methods -- SEFM 2022 collocated workshops : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, revised selected papers

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.

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:
Software engineering > Congresses.
Artificial intelligence > Congresses.
Artificial intelligence
Software engineering
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online Access:Click for online access
Table of Contents:
  • 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.

Similar Items