Formal methods and tools for industrial critical systems
Article in International Journal on Software Tools for Technology Transfer (April 2022)
The most recent citing publication is shown below. View this citation on Dimensions.
Formal Methods for Industrial Critical Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC
-
Altmetric BadgeChapter 2 Formal Modelling and Verification of an Interlocking Using mCRL2
-
Altmetric BadgeChapter 3 A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas
-
Altmetric BadgeChapter 4 Multiple Analyses, Requirements Once:
-
Altmetric BadgeChapter 5 The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis
-
Altmetric BadgeChapter 6 Incremental Development of a Safety Critical System Combining formal Methods and DSMLs
-
Altmetric BadgeChapter 7 Probabilistic Verification for Reliable Network-on-Chip System Design
-
Altmetric BadgeChapter 8 A Simulator for LLVM Bitcode
-
Altmetric BadgeChapter 9 Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study
Attention for Chapter 5:
The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis