Verification and Evaluation of Computer and Communication Systems 비슷한 책 더 보기
Runtime Verification
2017년
Networked Systems
2014년
Software Engineering and Formal Methods
2018년
Computer Performance Engineering
2016년
Cyber Physical Systems. Model-Based Design
2020년
Cyber Physical Systems. Model-Based Design
2019년
Formal Methods for Industrial Critical Systems
2018년
Computational Science and Its Applications - ICCSA 2011
2011년
Computational Science and Its Applications – ICCSA 2009
2009년
Measurement, Modelling and Evaluation of Computing Systems
2018년
Principles of Modeling
2018년
Cyber Physical Systems. Design, Modeling, and Evaluation
2019년
Fundamentals of Software Engineering
2019년
Dependable Software Engineering. Theories, Tools, and Applications
2018년
Formal Methods and Software Engineering
2018년