Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings: 12863 (Lecture Notes in Computer Science, 12863) - Softcover
Synopsis
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.
The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.
"synopsis" may belong to another edition of this title.
Search results for Formal Methods for Industrial Critical Systems: 26th...
Stock Image
Formal Methods for Industrial Critical Systems (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 3 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # PQVUOM2GFM
Buy New
£ 41.23
£ 4.76 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030852474_new
Buy New
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings: 12863 (Lecture Notes in Computer Science, 12863)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783030852474
Buy New
£ 47.69
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Formal Methods for Industrial Critical Systems
Published by
Springer International Publishing Aug 2021, 2021
ISBN 10: 3030852474
ISBN 13: 9783030852474
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification. 264 pp. Englisch. Seller Inventory # 9783030852474
Stock Image
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24?26, 2021, Proceedings (Programming and Software Engineering)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1st ed. 2021 edition NO-PA16APR2015-KAP. Seller Inventory # 26387769558
Stock Image
Formal Methods For Industrial Critical S
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # V9783030852474
Stock Image
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24?26, 2021, Proceedings (Programming and Software Engineering)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 392911625
Buy New
£ 66.81
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Formal Methods for Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 2426, 2021, Proceedings
Published by
Springer-Nature New York Inc, 2021
ISBN 10: 3030852474
ISBN 13: 9783030852474
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 261 pages. 9.25x6.10x0.55 inches. In Stock. Seller Inventory # x-3030852474
Buy New
£ 65.58
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24?26, 2021, Proceedings (Programming and Software Engineering)
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18387769564
Stock Image
Formal Methods For Industrial Critical S
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # V9783030852474