Lectures on Runtime Verification المزيد من الكتب المشابهة

Runtime Verification

٢٠١٨

Runtime Verification

٢٠١٧

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

٢٠١٦

Software Engineering and Formal Methods

٢٠١٧

Formal Methods for Industrial Critical Systems

٢٠١٨

Dependable Software Engineering. Theories, Tools, and Applications

٢٠١٨

Formal Techniques for Safety-Critical Systems

٢٠٢٠

From Software Engineering to Formal Methods and Tools, and Back

٢٠١٩

Formal Methods and Software Engineering

٢٠١٨

Formal Methods for Industrial Critical Systems

٢٠١٢

Coordination Models and Languages

٢٠٢٠

Formal Methods. FM 2019 International Workshops

٢٠٢٠

Software Engineering and Formal Methods

٢٠١٥

Fundamentals of Software Engineering

٢٠١٩

Formal Methods for Industrial Critical Systems

٢٠١٩