Dependable Computing – EDCC 2022 Workshops More Books Like This

Leveraging Applications of Formal Methods, Verification and Validation. Practice Leveraging Applications of Formal Methods, Verification and Validation. Practice
Leveraging Applications of Formal Methods, Verification and Validation. Practice
2022
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2022
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops
2022
Model-Based Safety and Assessment Model-Based Safety and Assessment
Model-Based Safety and Assessment
2019
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
Computer Safety, Reliability, and Security
2019
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
2020
Software Technologies Software Technologies
Software Technologies
2021
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
Computer Safety, Reliability, and Security
2018
Model-Based Safety and Assessment Model-Based Safety and Assessment
Model-Based Safety and Assessment
2022
New Trends in Model and Data Engineering New Trends in Model and Data Engineering
New Trends in Model and Data Engineering
2019
Intelligent Technologies and Applications Intelligent Technologies and Applications
Intelligent Technologies and Applications
2022
Database and Expert Systems Applications - DEXA 2022 Workshops Database and Expert Systems Applications - DEXA 2022 Workshops
Database and Expert Systems Applications - DEXA 2022 Workshops
2022
Computer Information Systems and Industrial Management Computer Information Systems and Industrial Management
Computer Information Systems and Industrial Management
2019
Smart Cities, Green Technologies and Intelligent Transport Systems Smart Cities, Green Technologies and Intelligent Transport Systems
Smart Cities, Green Technologies and Intelligent Transport Systems
2021
Computational Science and Its Applications – ICCSA 2020 Computational Science and Its Applications – ICCSA 2020
Computational Science and Its Applications – ICCSA 2020
2020