Leveraging Applications of Formal Methods, Verification and Validation. Practice المزيد من الكتب المشابهة

New Trends in Model and Data Engineering New Trends in Model and Data Engineering
New Trends in Model and Data Engineering
٢٠١٩
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
٢٠٢١
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
٢٠١٨
Dependable Computing – EDCC 2022 Workshops Dependable Computing – EDCC 2022 Workshops
Dependable Computing – EDCC 2022 Workshops
٢٠٢٢
Software Architecture Software Architecture
Software Architecture
٢٠٢٠
New Trends in Model and Data Engineering New Trends in Model and Data Engineering
New Trends in Model and Data Engineering
٢٠١٨
Dependable Computing - EDCC 2021 Workshops Dependable Computing - EDCC 2021 Workshops
Dependable Computing - EDCC 2021 Workshops
٢٠٢١
Industrial Applications of Holonic and Multi-Agent Systems Industrial Applications of Holonic and Multi-Agent Systems
Industrial Applications of Holonic and Multi-Agent Systems
٢٠١٧
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
٢٠٢٠
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
Software Technologies: Applications and Foundations
٢٠١٨
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
٢٠١٨
Computational Science and Its Applications – ICCSA 2020 Computational Science and Its Applications – ICCSA 2020
Computational Science and Its Applications – ICCSA 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
٢٠٢٢
Service-Oriented Computing – ICSOC 2022 Workshops Service-Oriented Computing – ICSOC 2022 Workshops
Service-Oriented Computing – ICSOC 2022 Workshops
٢٠٢٣
Enterprise Information Systems Enterprise Information Systems
Enterprise Information Systems
٢٠٢٢