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

Reliable Software Technologies – Ada-Europe 2014

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Lessons Learned and Easily Forgotten
  3. Altmetric Badge
    Chapter 2 Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems
  4. Altmetric Badge
    Chapter 3 Rigorous Development of Fault-Tolerant Systems through Co-refinement
  5. Altmetric Badge
    Chapter 4 Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects
  6. Altmetric Badge
    Chapter 5 A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems
  7. Altmetric Badge
    Chapter 6 Towards a Runtime Verification Framework for the Ada Programming Language
  8. Altmetric Badge
    Chapter 7 Reliable Software Technologies – Ada-Europe 2014
  9. Altmetric Badge
    Chapter 8 Parallelism in Ada: Status and Prospects
  10. Altmetric Badge
    Chapter 9 Deadline-Aware Programming and Scheduling
  11. Altmetric Badge
    Chapter 10 Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level
  12. Altmetric Badge
    Chapter 11 Reliable Software Technologies – Ada-Europe 2014
  13. Altmetric Badge
    Chapter 12 PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems
  14. Altmetric Badge
    Chapter 13 OBUs’ Development and Maintenance of a Train Control System for Low Density Traffic Lines
  15. Altmetric Badge
    Chapter 14 Practical Formal Methods in Railways - The SafeCap Approach
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
7 Mendeley
Summary X

This page is provided by Altmetric.