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 Efficiency 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.
- ISBN:
- 9783030270070
- 9783030270070
-
Category:
- Programming & scripting languages: general
- Format:
- Paperback
- Publication Date:
-
25-07-2019
- Language:
- English
- Publisher:
- Springer International Publishing AG
- Country of origin:
- Switzerland
- Dimensions (mm):
- 235x155mm
- Weight:
- 0.45kg
Click 'Notify Me' to get an email alert when this item becomes available
Hi There,
Did you know that you can save books into your library to create gift lists, reading lists, etc?
You can also mark books that you're reading, or want to read.
Great!
Click on Save to My Library / Lists
Select the List you'd like to categorise as, or add your own
Here you can mark if you have read this book, reading it or want to read
Awesome! You added your first item into your Library
Great! The fun begins.
Click on My Library / My Lists and I will take you there
Reviews
Be the first to review Formal Methods for Industrial Critical Systems.
Share This Book: