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.

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: 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
Weitere Verfasser: Masci, Paolo (HerausgeberIn), Bernardeschi, Cinzia (HerausgeberIn), Graziani, Pierluigi (HerausgeberIn), Koddenbrock, Mario (HerausgeberIn), Palmieri, Maurizio (HerausgeberIn)
Format: E-Book
Sprache:English
Veröffentlicht: Cham : Springer, 2023.
Schriftenreihe:Lecture notes in computer science ; 13765.
Schlagworte:
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 Zugang:Click for online access
Login für die Nachverfolgung von Bestellungen und Vormerkungen

Online

Click for online access

Online

Bestandesangaben von Online
Verfügbar

Ähnliche Einträge