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

Software Engineering and Formal Methods

٢٠١٨

Software Technologies: Applications and Foundations

٢٠١٨

Software Engineering and Formal Methods

٢٠١٦

New Trends in Model and Data Engineering

٢٠١٨

Cyber Physical Systems. Model-Based Design

٢٠١٩

Foundations of Computer Software

٢٠١١

Formal Methods for Industrial Critical Systems

٢٠١٨

Model-Driven Engineering and Software Development

٢٠٢١

Cyber Physical Systems. Design, Modeling, and Evaluation

٢٠١٧

Trustworthy Cyber-Physical Systems Engineering

٢٠١٦

Formal Methods and Software Engineering

٢٠١٨

Formal Methods for Eternal Networked Software Systems

٢٠١١

Formal Methods for Industrial Critical Systems

٢٠٢٠

Principles of Modeling

٢٠١٨

Software Engineering for Self-Adaptive Systems III. Assurances

٢٠١٨