Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers
Livre Ecrit par: Autili, Marco ; Bucaioni, Alessio ; Gomes, Cláudio ; Graziani, Pierluigi ; Palmieri, Maurizio ; Cerone, Antonio ; Publié en: 2022
Edition:
Cham:
Springer
Langue:
Anglais
Collation:
Données textuelles
ISBN: 9783031124297
Thème
Informatique
Mots clés:
Artificial intelligence
Computer networks
computer programming
Computer systems
digital signal processing
object-oriented programming
software architecture
Mobile robots
Signal processing
