LEADER 02877nam  22007095  450 
001 996673179003316
005 20250828130208.0
010   $a3-032-00942-1
024 7 $a10.1007/978-3-032-00942-5
035   $a(MiAaPQ)EBC32274051
035   $a(Au-PeEL)EBL32274051
035   $a(CKB)40430597100041
035   $a(DE-He213)978-3-032-00942-5
035   $a(EXLCZ)9940430597100041
100   $a20250828d2026      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Methods for Industrial Critical Systems $e30th International Conference, FMICS 2025, Aarhus, Denmark, August 27?28, 2025, Proceedings /$fedited by Anne Remke, Bernhard Steffen
205   $a1st ed. 2026.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2026.
215   $a1 online resource (421 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v16040
311 08$a3-032-00941-3 
330   $aThis book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27?28, 2025. The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v16040
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aApplication software
606   $aArtificial intelligence
606   $aComputer science
606   $aComputer networks
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aComputer and Information Systems Applications
606   $aArtificial Intelligence
606   $aTheory of Computation
606   $aComputer Communication Networks
615  0$aCompilers (Computer programs)
615  0$aSoftware engineering.
615  0$aApplication software.
615  0$aArtificial intelligence.
615  0$aComputer science.
615  0$aComputer networks.
615 14$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aComputer and Information Systems Applications.
615 24$aArtificial Intelligence.
615 24$aTheory of Computation.
615 24$aComputer Communication Networks.
676   $a005.45
700   $aRemke$b Anne$01785196
701   $aSteffen$b Bernhard$0878620
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996673179003316
996   $aFormal Methods for Industrial Critical Systems$94428596
997   $aUNISA