Del 12327 - Lecture Notes in Computer Science

Formal Methods for Industrial Critical Systems

25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

Häftad, Engelska, 2020

AvMaurice H. ter Beek,Dejan Ničković,Dejan Nickovic,Maurice H. Ter Beek,Dejan Ničkovic,Dejan Ni¿kovi¿

709 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020.

Produktinformation

Utgivningsdatum2020-08-29
Mått155 x 235 x 18 mm
Vikt482 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor289
FörlagSpringer Nature Switzerland AG
ISBN9783030582975

Tillhör följande kategorier

FMICS 25th Anniversary.- The 2020 Expert Survey on Formal Methods.- Quantitative Analysis and Cyber-Physical Systems.- Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents.- Skylines for Symbolic Energy Consumption Analysis.- Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers.- An Actor-based Approach for Security Analysis of Cyber-Physical Systems.- Formal Verification of Industrial Systems Scalable Detection of Ampli cation Timing Anomalies for the Superscalar TriCore Architecture.- A Formally Veri ed Plasma Vertical Position Control Algorithm.- The First Twenty-Five Years of Industrial Use of the B-Method.- A Safety Flasher Developed with the CLEARSY Safety Platform.- Temporal Logic and Model checking.- Formal Verification of OIL Component Specifications Using mCRL2.- Temporal-Logic Query Checking over Finite Data Streams.- Verification of a Failure Management Protocol for Stateful IoT Applications.