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

Reliable Software Technologies – Ada-Europe 2012

Overview of attention for book
Cover of 'Reliable Software Technologies – Ada-Europe 2012'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Ada Ravenscar Code Archetypes for Component-Based Development
  3. Altmetric Badge
    Chapter 2 Reliable Software Technologies – Ada-Europe 2012
  4. Altmetric Badge
    Chapter 3 Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA
  5. Altmetric Badge
    Chapter 4 Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012
  6. Altmetric Badge
    Chapter 5 Teaching ‘Concepts of Programming Languages’ with Ada
  7. Altmetric Badge
    Chapter 6 Designing the API for a Cryptographic Library
  8. Altmetric Badge
    Chapter 7 Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development
  9. Altmetric Badge
    Chapter 8 An Approach to Model Checking Ada Programs
  10. Altmetric Badge
    Chapter 9 Formal Modelling for Ada Implementations: Tasking Event-B
  11. Altmetric Badge
    Chapter 10 Augmenting Formal Development with Use Case Reasoning
  12. Altmetric Badge
    Chapter 11 Formal Goal-Oriented Development of Resilient MAS in Event-B
  13. Altmetric Badge
    Chapter 12 Reliable Software Technologies – Ada-Europe 2012
  14. Altmetric Badge
    Chapter 13 Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit
  15. Altmetric Badge
    Chapter 14 Implementing and Verifying EDF Preemption-Level Resource Control
  16. Altmetric Badge
    Chapter 15 Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems
Attention for Chapter 9: Formal Modelling for Ada Implementations: Tasking Event-B
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
Formal Modelling for Ada Implementations: Tasking Event-B
Chapter number 9
Book title
Reliable Software Technologies – Ada-Europe 2012
Published by
Springer, Berlin, Heidelberg, June 2012
DOI 10.1007/978-3-642-30598-6_9
Book ISBNs
978-3-64-230597-9, 978-3-64-230598-6
Authors

Andrew Edmunds, Abdolbaghi Rezazadeh, Michael Butler

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%
Researcher 1 17%
Student > Doctoral Student 1 17%
Unknown 1 17%
Readers by discipline Count As %
Computer Science 6 100%

This page is provided by Altmetric.