default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th FMICS 2019: Amsterdam, The Netherlands
- Kim Guldstrand Larsen
, Tim A. C. Willemse:
Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings. Lecture Notes in Computer Science 11687, Springer 2019, ISBN 978-3-030-27007-0 - Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay:
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. 1-21 - Mark Bouwman, Bob Janssen, Bas Luttik:
Formal Modelling and Verification of an Interlocking Using mCRL2. 22-39 - Matthias Volk, Norman Weik, Joost-Pieter Katoen, Nils Nießen:
A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas. 40-58 - Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow:
Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development. 59-75 - Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda:
The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. 76-92 - Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul:
Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -. 93-109 - Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Rajesh Jayashankara Shridevi, Koushik Chakraborty, Sanghamitra Roy, Zhen Zhang:
Probabilistic Verification for Reliable Network-on-Chip System Design. 110-126 - Petr Rockai, Jiri Barnat:
A Simulator for LLVM Bitcode. 127-142 - Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian:
Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. 143-159
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-01 15:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
