LEADER 01738nam  22004213  450 
001 996721510003316
005 20260515080319.0
010   $a3-032-16855-4
035   $a(CKB)47305029300041
035   $a(MiAaPQ)EBC32745277
035   $a(Au-PeEL)EBL32745277
035   $a(OCoLC)1591751261
035   $a(EXLCZ)9947305029300041
100   $a20260515d2026      uy         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aDesign and Verification of Cyber-Physical Systems $eEssays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday
205   $a1st ed.
210  1$aCham :$cSpringer,$d2026.
210  4$d©2026.
215   $a1 online resource (1005 pages)
225 1 $aLecture Notes in Computer Science Series ;$vv.16060
311 08$a3-032-16857-0 
327   $aLecture Notes in Computer Science -- Design and Verification of Cyber-Physical Systems: From Theory to Applications -- Preface -- Organization -- Contents -- Foundations of Modeling and Analysis -- Learning and Synthesis -- Formalizations of Complex Cyber-Physical Systems -- Towards Applications -- Author Index.
330   $aThis Festschrift is dedicated to Martin Fränzle, a leading researcher in formal methods and cyber-physical systems.After an award-winning PhD at Christian Albrechts Universität zu Kiel, Prof.
410  0$aLecture Notes in Computer Science Series
700   $aRauh$b Andreas
701   $aRauh$01911143
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996721510003316
996   $aDesign and Verification of Cyber-Physical Systems$94641353
997   $aUNISA