Cantitate/Preț
Produs
Total produse
Vezi coșul
Formal Methods for Industrial Critical Systems de Maurice H. Ter Beek

Formal Methods for Industrial Critical Systems: Lecture Notes in Computer Science, cartea 12327

Editat de Maurice H. Ter Beek, Dejan Ni¿kovi¿
en Limba Engleză Paperback – 29 aug 2020
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. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event. The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking.
The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 33591 lei

Preț vechi: 41988 lei
-20%

Puncte Express: 504

Carte tipărită la comandă

Livrare economică 15-29 octombrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783030582975
ISBN-10: 3030582973
Pagini: 316
Ilustrații: XXII, 289 p. 76 illus., 42 illus. in color.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.48 kg
Ediția:1st edition 2020
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

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.