↓ 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 14: Implementing and Verifying EDF Preemption-Level Resource Control
Altmetric Badge

Readers on

mendeley
1 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
Implementing and Verifying EDF Preemption-Level Resource Control
Chapter number 14
Book title
Reliable Software Technologies – Ada-Europe 2012
Published by
Springer, Berlin, Heidelberg, June 2012
DOI 10.1007/978-3-642-30598-6_14
Book ISBNs
978-3-64-230597-9, 978-3-64-230598-6
Authors

Mark Louis Fairbairn, Alan Burns

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Unknown 1 100%
Readers by discipline Count As %
Social Sciences 1 100%

This page is provided by Altmetric.