Formal Methods for Industrial Critical Systems : 25th International Conference, Fmics 2020, Vienna, Austria, September 2?3, 2020, Proceedings
Beek, Maurice H. Ter (EDT); Nickovic, Dejan (EDT)
ISBN 10: 3030582973 ISBN 13: 9783030582975
Published by Springer, 2020
Used
Soft cover
From
GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 6 April 2009
This specific item is no longer available.
About this Item
Description:
Unread book in perfect condition. Seller Inventory # 41856127
Synopsis:
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Formal Methods for Industrial Critical ...
Publisher: Springer
Publication Date: 2020
Binding: Soft cover
Condition: As New