Modeling Embedded Systems and SOC's 비슷한 책 더 보기

Models and Analysis for Distributed Systems Models and Analysis for Distributed Systems
Models and Analysis for Distributed Systems
2013년
Stochastic Discrete Event Systems Stochastic Discrete Event Systems
Stochastic Discrete Event Systems
2008년
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
2010년
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2009년
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2011년
Formal Methods: Applications and Technology Formal Methods: Applications and Technology
Formal Methods: Applications and Technology
2007년
Understanding Concurrent Systems Understanding Concurrent Systems
Understanding Concurrent Systems
2010년
Real-time Systems Scheduling 2 Real-time Systems Scheduling 2
Real-time Systems Scheduling 2
2014년
Computer Performance Engineering Computer Performance Engineering
Computer Performance Engineering
2010년
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2014년
Model Checking Software Model Checking Software
Model Checking Software
2007년
Domain Modeling and the Duration Calculus Domain Modeling and the Duration Calculus
Domain Modeling and the Duration Calculus
2007년
Critical Systems: Formal Methods and Automated Verification Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
2017년
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2016년
Formal Techniques for Networked and Distributed Systems - FORTE 2007 Formal Techniques for Networked and Distributed Systems - FORTE 2007
Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007년