↓ Skip to main content
What is this page? Embed badge

Architecting Dependable Systems V

Overview of attention for book
Cover of 'Architecting Dependable Systems V'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The CRUTIAL Architecture for Critical Information Infrastructures
  3. Altmetric Badge
    Chapter 2 A Middleware Improved Technology (MIT) to Mitigate Interdependencies between Critical Infrastructures
  4. Altmetric Badge
    Chapter 3 Evaluation of Critical Infrastructures: Challenges and Viable Approaches
  5. Altmetric Badge
    Chapter 4 Analysis of a Redundant Architecture for Critical Infrastructure Protection
  6. Altmetric Badge
    Chapter 5 A Robust Semantic Overlay Network for Microgrid Control Applications
  7. Altmetric Badge
    Chapter 6 Architecting Dependable and Secure Systems Using Virtualization
  8. Altmetric Badge
    Chapter 7 Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services
  9. Altmetric Badge
    Chapter 8 Design, Implementation and Deployment of State Machines Using a Generative Approach
  10. Altmetric Badge
    Chapter 9 Handling Emergent Nondeterminism in Replicated Services
  11. Altmetric Badge
    Chapter 10 Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios
  12. Altmetric Badge
    Chapter 11 Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML
  13. Altmetric Badge
    Chapter 12 Plug-and-Play Architectural Design and Verification
  14. Altmetric Badge
    Chapter 13 Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
  15. Altmetric Badge
    Chapter 14 Using Architecture Analysis to Evolve Complex Industrial Systems
Attention for Chapter 12: Plug-and-Play Architectural Design and Verification
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
16 Mendeley
citeulike
1 CiteULike
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Plug-and-Play Architectural Design and Verification
Chapter number 12
Book title
Architecting Dependable Systems V
Published by
Springer, Berlin, Heidelberg, January 2008
DOI 10.1007/978-3-540-85571-2_12
Book ISBNs
978-3-54-085570-5, 978-3-54-085571-2
Authors

Shangzhu Wang, George S. Avrunin, Lori A. Clarke, Wang, Shangzhu, Avrunin, George S., Clarke, Lori A.

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 16 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
France 1 6%
Unknown 15 94%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 25%
Researcher 3 19%
Lecturer 2 13%
Student > Bachelor 2 13%
Student > Master 2 13%
Other 2 13%
Unknown 1 6%
Readers by discipline Count As %
Computer Science 13 81%
Environmental Science 1 6%
Chemistry 1 6%
Unknown 1 6%

This page is provided by Altmetric.