Cyber Physical Systems. Design, Modeling, and Evaluation 비슷한 책 더 보기
Model-Driven Engineering and Software Development
2021년
Cyber Physical Systems. Model-Based Design
2019년
Software Engineering and Formal Methods
2018년
Software Technologies: Applications and Foundations
2018년
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016년
Formal Methods for Industrial Critical Systems
2018년
Dependable Software Engineering. Theories, Tools, and Applications
2018년
Formal Methods and Software Engineering
2018년
Foundations of Computer Software
2011년
Formal Methods for Industrial Critical Systems
2019년
Cyber Physical Systems. Design, Modeling, and Evaluation
2019년
Model-Driven Engineering and Software Development
2018년
Principles of Modeling
2018년
Formal Techniques for Safety-Critical Systems
2020년
Software Technologies: Applications and Foundations
2018년