Original language | English |
---|---|
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Volume | 13230 LNCS |
Publication status | Published - 2022 |
Event | Workshops on CIFMA, CoSim-CPS, OpenCERT, and ASYDE 2021, collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021 - Virtual, Online Duration: Dec 6 2021 → Dec 10 2021 |
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science