Leveraging Applications of Formal Methods, Verification and Validation. Practice More Books Like This

New Trends in Model and Data Engineering New Trends in Model and Data Engineering
New Trends in Model and Data Engineering
2019
Advances in Model and Data Engineering in the Digitalization Era Advances in Model and Data Engineering in the Digitalization Era
Advances in Model and Data Engineering in the Digitalization Era
2021
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2018
Dependable Computing – EDCC 2022 Workshops Dependable Computing – EDCC 2022 Workshops
Dependable Computing – EDCC 2022 Workshops
2022
Software Architecture Software Architecture
Software Architecture
2020
New Trends in Model and Data Engineering New Trends in Model and Data Engineering
New Trends in Model and Data Engineering
2018
Dependable Computing - EDCC 2021 Workshops Dependable Computing - EDCC 2021 Workshops
Dependable Computing - EDCC 2021 Workshops
2021
Industrial Applications of Holonic and Multi-Agent Systems Industrial Applications of Holonic and Multi-Agent Systems
Industrial Applications of Holonic and Multi-Agent Systems
2017
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: Applications and Foundations Software Technologies: Applications and Foundations
Software Technologies: Applications and Foundations
2018
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
2018
Computational Science and Its Applications – ICCSA 2020 Computational Science and Its Applications – ICCSA 2020
Computational Science and Its Applications – ICCSA 2020
2020
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
Service-Oriented Computing – ICSOC 2022 Workshops Service-Oriented Computing – ICSOC 2022 Workshops
Service-Oriented Computing – ICSOC 2022 Workshops
2023
Enterprise Information Systems Enterprise Information Systems
Enterprise Information Systems
2022