Modeling Embedded Systems and SOC's More Books Like This

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