↓ 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
Attention for Chapter 7: Improving the Analysis of GPC in Real-Time Calculus
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
Improving the Analysis of GPC in Real-Time Calculus
Chapter number 7
Book title
Dependable Software Engineering. Theories, Tools, and Applications
Published by
Springer, Cham, November 2019
DOI 10.1007/978-3-030-35540-1_7
Book ISBNs
978-3-03-035539-5, 978-3-03-035540-1
Authors

Yue Tang, Yuming Jiang, Nan Guan, Tang, Yue, Jiang, Yuming, Guan, Nan

View on publisher site

This page is provided by Altmetric.