Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers - Cerone, Antonio; Autili, Marco; Bucaioni, Alessio; Gomes, Cláudio; Graziani, Pierluigi; Palmieri, Maurizio; Temperini, Marco; Venture, Gentiane (Springer International Publishing, 2022)
Keywords: Computer Science Logic and Foundations of Programming; Control, Robotics, Automation; Software Engineering; Artificial Intelligence; Computer and Information Systems Applications; Control and Systems Theory; Computer science; Control engineering; Robotics; Automation; Software engineering; Artificial intelligence; Application software; Konferenzschrift -- 2021 -- Online