2,967 followers
The award consists of a 1000 euro prize. In his award winning paper Volk presents a way to translate train station infrastructure to dynamic fault trees. https://t.co/VcmHS4nIJg
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 3:
A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas