Verified Software: Theories, Tools, Experiments المزيد من الكتب المشابهة

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

٢٠١٨

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

٢٠٢٢

Grand Timely Topics in Software Engineering

٢٠١٧

Transactions on Foundations for Mastering Change I

٢٠١٦

Formal Methods. FM 2019 International Workshops

٢٠٢٠

Leveraging Applications of Formal Methods, Verification and Validation

٢٠٢١

Software Engineering and Formal Methods

٢٠١٧

The Future of Software Engineering

٢٠١٠

From Software Engineering to Formal Methods and Tools, and Back

٢٠١٩

Formal Methods for Industrial Critical Systems

٢٠٢٠

Perspectives of System Informatics

٢٠١٨

Formal Methods for Industrial Critical Systems

٢٠١٨

Tools and Methods of Program Analysis

٢٠١٧

Dependable Software Engineering. Theories, Tools, and Applications

٢٠١٨

Tests and Proofs

٢٠١٨