Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam
Versandkostenfreie Lieferung!
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10393528
Beschreibung
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC.- 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 & verification in automotive model-based development.- The Impact of Requirement Splitting on the E ciency of Supervisory Control Synthesis.- Incremental development of a safety critical system combining formal methods and DSMLs.- Probabilistic Verification for Reliable Network-on-Chip System Design.- A Simulator for LLVM Bitcode.- Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study.
Eigenschaften
Breite: | 154 |
Gewicht: | 283 g |
Höhe: | 236 |
Länge: | 14 |
Seiten: | 161 |
Sprachen: | Englisch |
Autor: | Kim Guldstrand Larsen, Tim Willemse |