Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers

Gespeichert in:
Hauptverfasser:
Cerone, Antonio (HerausgeberIn), Autili, Marco (HerausgeberIn), Bucaioni, Alessio (HerausgeberIn), Gomes, Cláudio (HerausgeberIn), Graziani, Pierluigi (HerausgeberIn), Palmieri, Maurizio (HerausgeberIn), Temperini, Marco (HerausgeberIn), Venture, Gentiane (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing Imprint: Springer 2022
Ausgabe:
1st ed. 2022
Umfang:
1 Online-Ressource (XI, 350 p. 109 illus., 82 illus. in color)
text file PDF
Schriftenreihe:
Lecture Notes in Computer Science
ISBN:
9783031124297
ISSN:
1611-3349
DOI:
10.1007/978-3-031-12429-7
Schlagworte:
Computer science
Control engineering
Robotics
Automation
Software engineering
Artificial intelligence
Application software
Bezugswerke:
Links: