Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised ... Notes in Computer Science Book 13230)

Name: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised ... Notes in Computer Science Book 13230)
ISBN: 9783031124297

Antonio Cerone (編集者) , Marco Autili (編集者) , Alessio Bucaioni (編集者)

まだ評価がありません