↓ 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
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

patent
1 patent
Summary Patents
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.
Title
Formal Techniques for Safety-Critical Systems
Published by
Springer International Publishing, March 2019
DOI 10.1007/978-3-030-12988-0
ISBNs
978-3-03-012987-3, 978-3-03-012988-0
Editors

Artho, Cyrille, Ölveczky, Peter Csaba

View on publisher site

This page is provided by Altmetric.