↓ 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 8: Refinement of Statecharts with Run-to-Completion Semantics
Altmetric Badge

Readers on

mendeley
2 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
Refinement of Statecharts with Run-to-Completion Semantics
Chapter number 8
Book title
Formal Techniques for Safety-Critical Systems
Published by
Springer, Cham, November 2018
DOI 10.1007/978-3-030-12988-0_8
Book ISBNs
978-3-03-012987-3, 978-3-03-012988-0
Authors

Karla Morris, Colin Snook, Thai Son Hoang, Robert Armstrong, Michael Butler, Morris, Karla, Snook, Colin, Hoang, Thai Son, Armstrong, Robert, Butler, Michael

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 3 150%
Readers by discipline Count As %
Computer Science 2 100%
Engineering 1 50%

This page is provided by Altmetric.