@book{3cbccf00f0c24de2955a304c334c54e3,
title = "Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings. ",
abstract = "The proceedings contain 9 papers. The special focus in this conference is on Formal Methods for Industrial Critical Systems. The topics include: Formal Modelling and Verification of an Interlocking Using mCRL2; A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas; multiple Analyses, Requirements Once:: Simplifying Testing and Verification in Automotive Model-Based Development; the Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis; Incremental Development of a Safety Critical System Combining formal Methods and DSMLs: − Application to a Railway System −; probabilistic Verification for Reliable Network-on-Chip System Design; A Simulator for LLVM Bitcode.",
editor = "Larsen, {Kim Guldstrand} and Tim Willemse",
year = "2019",
doi = "10.1007/978-3-030-27008-7",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer Publishing Company",
address = "United States",
note = "International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2019) ; Conference date: 30-08-2019 Through 31-08-2019",
}