Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 913, 2024, Proceedings | Agenda Bookshop Skip to content
Online orders placed from 19/12 onward will not arrive in time for Christmas.
Online orders placed from 19/12 onward will not arrive in time for Christmas.
Age Group_Uncategorized
Age Group_Uncategorized
automatic-update
B01=Anne E. Haxthausen
B01=Wendelin Serwe
Category1=Non-Fiction
Category=UB
Category=UK
Category=UMC
Category=UMZ
Category=UYA
Category=UYQ
COP=Switzerland
Delivery_Pre-order
Language_English
PA=Not yet available
Price_€50 to €100
PS=Forthcoming
softlaunch

Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 913, 2024, Proceedings

★★★★★
★★★★★

English

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 913, 2024.

 

The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and Verification; Case Studies; Neural Networks.

See more
€59.84
€62.99
Save 5%
Age Group_Uncategorizedautomatic-updateB01=Anne E. HaxthausenB01=Wendelin SerweCategory1=Non-FictionCategory=UBCategory=UKCategory=UMCCategory=UMZCategory=UYACategory=UYQCOP=SwitzerlandDelivery_Pre-orderLanguage_EnglishPA=Not yet availablePrice_€50 to €100PS=Forthcomingsoftlaunch

Will deliver when available. Publication date 19 Sep 2024

Product Details
  • Dimensions: 155 x 235mm
  • Publication Date: 19 Sep 2024
  • Publisher: Springer International Publishing AG
  • Publication City/Country: Switzerland
  • Language: English
  • ISBN13: 9783031681493

Customer Reviews

Be the first to write a review
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)
We use cookies to ensure that we give you the best experience on our website. If you continue we'll assume that you are understand this. Learn more
Accept