Cyber Physical Systems. Design, Modeling, and Evaluation 비슷한 책 더 보기

Cyber Physical Systems. Model-Based Design Cyber Physical Systems. Model-Based Design
2020년
Cyber Physical Systems. Model-Based Design Cyber Physical Systems. Model-Based Design
2019년
Software Engineering and Formal Methods Software Engineering and Formal Methods
2018년
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
2020년
Computer Aided Systems Theory – EUROCAST 2022 Computer Aided Systems Theory – EUROCAST 2022
2023년
Cyber Physical Systems. Design, Modeling, and Evaluation Cyber Physical Systems. Design, Modeling, and Evaluation
2017년
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
2018년
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
2018년
Principles of Modeling Principles of Modeling
2018년
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
2020년
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
2018년
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
2018년
Software Technologies Software Technologies
2020년
Formal Methods and Software Engineering Formal Methods and Software Engineering
2018년
Verification and Evaluation of Computer and Communication Systems Verification and Evaluation of Computer and Communication Systems
2017년