Formal Methods Applied to Complex Systems المزيد من الكتب المشابهة

Formal Methods for Components and Objects

٢٠٠٩

Foundations of Computer Software

٢٠١١

Model Driven Engineering Languages and Systems

٢٠١١

Model-Driven Engineering and Software Development

٢٠٢١

Static Analysis of Software

٢٠١٣

Objects, Components, Models and Patterns

٢٠٠٩

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

٢٠١٦

SDL '99

١٩٩٩

SDL 2015: Model-Driven Engineering for Smart Cities

٢٠١٥

Model Driven Engineering Languages and Systems

٢٠٠٨

Formal Methods for Industrial Critical Systems

٢٠٢٠

Model-Driven Development of Reliable Automotive Services

٢٠٠٨

Formal Methods for Industrial Critical Systems

٢٠١٩

Model-Driven Engineering and Software Development

٢٠٢٠

Cyber Physical Systems. Design, Modeling, and Evaluation

٢٠١٧