Theory of Modeling and Simulation 비슷한 책 더 보기
Stochastic Discrete Event Systems
2008년
Building Software for Simulation
2011년
Modeling and Verification of Real-time Systems
2013년
Computer Performance Engineering
2010년
Models and Analysis for Distributed Systems
2013년
Modeling Embedded Systems and SOC's
2003년
Formal Methods for Performance Evaluation
2007년
Formal Methods: Applications and Technology
2007년
Communicating Embedded Systems
2013년
Quantitative Evaluation of Systems
2017년
Quantitative Evaluation of Systems
2016년
Formal Techniques for Distributed Systems
2010년
Formal Modeling and Analysis of Timed Systems
2018년
Computer Performance Engineering
2018년
Formal Methods in Systems Biology
2008년