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

Dependable Software Engineering. Theories, Tools, and Applications

Overview of attention for book
Cover of 'Dependable Software Engineering. Theories, Tools, and Applications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Bounded Model Checking Technique for Higher-Order Programs
  3. Altmetric Badge
    Chapter 2 Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm
  4. Altmetric Badge
    Chapter 3 Simplifying the Analysis of Software Design Variants with a Colorful Alloy
  5. Altmetric Badge
    Chapter 4 Response Time Analysis of Typed DAG Tasks for G-FP Scheduling
  6. Altmetric Badge
    Chapter 5 A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms
  7. Altmetric Badge
    Chapter 6 Mixed Criticality Scheduling of Probabilistic Real-Time Systems
  8. Altmetric Badge
    Chapter 7 Improving the Analysis of GPC in Real-Time Calculus
  9. Altmetric Badge
    Chapter 8 A Verified Specification of TLSF Memory Management Allocator Using State Monads
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
Summary X

This page is provided by Altmetric.