Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings /: 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings. ([2019])

• Record Type: Book
• Further Information: Note: Kim Guldstrand Larsen, Tim Willemse (eds.).
• Editors: Larsen, K. G (Kim G.), 1957-; Willemse, Tim
• Other Names: International Workshop on Formal Methods for Industrial Critical Systems, 24th
• Contents: 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.
• Publisher Details: Cham : Springer
• Publication Date: 2019
• Copyright Date: 2019
• Extent: 1 online resource, illustrations (some color)
• Subjects: 004.01/51; Formal methods (Computer science) -- Congresses; Software engineering -- Congresses; Computer programs -- Verification -- Congresses; Computer programs -- Reliability -- Congresses; Computer software -- Verification -- Congresses; Computer software -- Reliability -- Congresses; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783030270087; 3030270084
• Related ISBNs: 9783030270070
• Notes: Note: Includes bibliographical references and index.; Note: Online resource; title from PDF title page (SpringerLink, viewed September 11, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.