Formal Techniques for Safety-Critical Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Formal Stability Analysis of Control Systems
-
Altmetric BadgeChapter 2 Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time
-
Altmetric BadgeChapter 3 Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees
-
Altmetric BadgeChapter 4 Formal Verification of Random Forests in Safety-Critical Applications
-
Altmetric BadgeChapter 5 A Benchmark Library for Parametric Timed Model Checking
-
Altmetric BadgeChapter 6 Formal Timing Analysis of Digital Circuits
-
Altmetric BadgeChapter 7 Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications
-
Altmetric BadgeChapter 8 Refinement of Statecharts with Run-to-Completion Semantics
-
Altmetric BadgeChapter 9 Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking
-
Altmetric BadgeChapter 10 Model Transformation with Triple Graph Grammars and Non-terminal Symbols