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
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
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
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2011
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2008
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2016