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

Software Engineering for Resilient Systems

Overview of attention for book
Cover of 'Software Engineering for Resilient Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming
  3. Altmetric Badge
    Chapter 2 A Case Study in Formal Development of a Fault Tolerant Multi-robotic System
  4. Altmetric Badge
    Chapter 3 Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach
  5. Altmetric Badge
    Chapter 4 Linking Modelling in Event-B with Safety Cases
  6. Altmetric Badge
    Chapter 5 Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain
  7. Altmetric Badge
    Chapter 6 Language Enrichment for Resilient MDE
  8. Altmetric Badge
    Chapter 7 Assume-Guarantee Testing of Evolving Software Product Line Architectures
  9. Altmetric Badge
    Chapter 8 FAS: Introducing a Service for Avoiding Faults in Composite Services
  10. Altmetric Badge
    Chapter 9 Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling
  11. Altmetric Badge
    Chapter 10 Monitoring Service Choreographies from Multiple Sources
  12. Altmetric Badge
    Chapter 11 Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain
  13. Altmetric Badge
    Chapter 12 Model-Based Evaluation of the Availability of a CBTC System
Attention for Chapter 4: Linking Modelling in Event-B with Safety Cases
Altmetric Badge

Readers on

mendeley
6 Mendeley
Summary
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
Linking Modelling in Event-B with Safety Cases
Chapter number 4
Book title
Software Engineering for Resilient Systems
Published by
Springer, Berlin, Heidelberg, September 2012
DOI 10.1007/978-3-642-33176-3_4
Book ISBNs
978-3-64-233175-6, 978-3-64-233176-3
Authors

Yuliya Prokhorova, Elena Troubitsyna

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 6 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 3 50%
Professor 1 17%
Student > Master 1 17%
Unknown 1 17%
Readers by discipline Count As %
Computer Science 2 33%
Engineering 2 33%
Unknown 2 33%

This page is provided by Altmetric.