Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings.

Kim Guldstrand Larsen (Redaktør), Tim Willemse (Redaktør)

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

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.

OriginalsprogEngelsk
ForlagSpringer Publishing Company
ISBN (Elektronisk)978-3-030-27007-0
DOI
StatusUdgivet - 2019
BegivenhedInternational Workshop on Formal Methods for Industrial Critical Systems (FMICS 2019) - Amsterdam, Holland
Varighed: 30 aug. 201931 aug. 2019
NavnLecture Notes in Computer Science
Vol/bind11687
ISSN0302-9743

Konference

KonferenceInternational Workshop on Formal Methods for Industrial Critical Systems (FMICS 2019)
Land/OmrådeHolland
ByAmsterdam
Periode30/08/201931/08/2019

Fingeraftryk

Dyk ned i forskningsemnerne om 'Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings.'. Sammen danner de et unikt fingeraftryk.

Citationsformater