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

Formal Techniques for Safety-Critical Systems

Overview of attention for book
Cover of 'Formal Techniques for Safety-Critical Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Formal Stability Analysis of Control Systems
  3. Altmetric Badge
    Chapter 2 Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time
  4. Altmetric Badge
    Chapter 3 Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees
  5. Altmetric Badge
    Chapter 4 Formal Verification of Random Forests in Safety-Critical Applications
  6. Altmetric Badge
    Chapter 5 A Benchmark Library for Parametric Timed Model Checking
  7. Altmetric Badge
    Chapter 6 Formal Timing Analysis of Digital Circuits
  8. Altmetric Badge
    Chapter 7 Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications
  9. Altmetric Badge
    Chapter 8 Refinement of Statecharts with Run-to-Completion Semantics
  10. Altmetric Badge
    Chapter 9 Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking
  11. Altmetric Badge
    Chapter 10 Model Transformation with Triple Graph Grammars and Non-terminal Symbols
Attention for Chapter 3: Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees
Altmetric Badge
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
Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees
Chapter number 3
Book title
Formal Techniques for Safety-Critical Systems
Published by
Springer, Cham, November 2018
DOI 10.1007/978-3-030-12988-0_3
Book ISBNs
978-3-03-012987-3, 978-3-03-012988-0
Authors

Liana Mikaelyan, Sascha Müller, Andreas Gerndt, Thomas Noll, Mikaelyan, Liana, Müller, Sascha, Gerndt, Andreas, Noll, Thomas

View on publisher site

This page is provided by Altmetric.