Leveraging Applications of Formal Methods, Verification and Validation. Practice 비슷한 책 더 보기
New Trends in Model and Data Engineering
2019년
Advances in Model and Data Engineering in the Digitalization Era
2021년
Software Engineering and Formal Methods
2018년
Dependable Computing – EDCC 2022 Workshops
2022년
Software Architecture
2020년
New Trends in Model and Data Engineering
2018년
Dependable Computing - EDCC 2021 Workshops
2021년
Industrial Applications of Holonic and Multi-Agent Systems
2017년
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
2020년
Software Technologies: Applications and Foundations
2018년
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
2018년
Computational Science and Its Applications – ICCSA 2020
2020년
Database and Expert Systems Applications - DEXA 2022 Workshops
2022년
Service-Oriented Computing – ICSOC 2022 Workshops
2023년
Enterprise Information Systems
2022년