000			02129nam a2200397Ia 4500
000			02540nam a22004095i 4500
001			978-3-031-43681-9
003			DE-He213
005			20240319121037.0
007			cr nn 008mamaa
008			230916s2023 sz | s |||| 0|eng d
020			_a9783031436819 _9978-3-031-43681-9
082			_a5.45
245			_aFormal Methods for Industrial Critical Systems _cedited by Alessandro Cimatti, Laura Titolo. _h[electronic resource] :
250			_a1st ed. 2023.
260			_aCham _bSpringer Nature Switzerland _c2023
300			_aX, 260 p. 183 illus., 67 illus. in color. _bonline resource.
520			_aThis book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20-22, 2023. The 14 full papers included in this book were carefully reviewed and selected from 24 submissions. The papers focus on development and application of formal methods in industry. FMICS is a platform for scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. FMICS also strives to promote research and development for the improvement of formal methods and tools for industrial applications. .
650			_aApplication software. _936241
650			_aArtificial intelligence. _936242
650			_aArtificial Intelligence. _936243
650			_aCompilers (Computer programs). _936244
650			_aCompilers and Interpreters. _936245
650			_aComputer and Information Systems Applications. _936246
650			_aComputer Engineering and Networks. _936247
650			_aComputer engineering. _936248
650			_aComputer networks . _936249
650			_aComputer science. _936250
650			_aSoftware engineering. _936251
650			_aSoftware Engineering. _936252
650			_aTheory of Computation. _936253
700			_aCimatti, Alessandro. _936254
700			_aTitolo, Laura. _936255
856			_uhttps://doi.org/10.1007/978-3-031-43681-9
942			_cEBK _2ddc
999			_c15620 _d15620