Collaborative Design for Embedded Systems 비슷한 책 더 보기
Cyber Physical Systems. Design, Modeling, and Evaluation
2017년
Cyber Physical Systems. Model-Based Design
2019년
Software Engineering and Formal Methods
2018년
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
2021년
Formal Techniques for Safety-Critical Systems
2020년
Formal Methods for Industrial Critical Systems
2018년
Cyber Physical Systems. Model-Based Design
2020년
Model-Driven Engineering and Software Development
2021년
Verification and Validation in Systems Engineering
2010년
Cyber Physical Systems. Design, Modeling, and Evaluation
2019년
Technological Innovation for Sustainability
2011년
Software-Intensive Systems and New Computing Paradigms
2008년
Trustworthy Cyber-Physical Systems Engineering
2016년
Formal Methods for Industrial Critical Systems
2020년
Dependable Software Engineering. Theories, Tools, and Applications
2018년