01738nam 22004213 450 99672151000331620260515080319.03-032-16855-4(CKB)47305029300041(MiAaPQ)EBC32745277(Au-PeEL)EBL32745277(OCoLC)1591751261(EXLCZ)994730502930004120260515d2026 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierDesign and Verification of Cyber-Physical Systems Essays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday1st ed.Cham :Springer,2026.©2026.1 online resource (1005 pages)Lecture Notes in Computer Science Series ;v.160603-032-16857-0 Lecture 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.This 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.Lecture Notes in Computer Science SeriesRauh AndreasRauh1911143MiAaPQMiAaPQMiAaPQBOOK996721510003316Design and Verification of Cyber-Physical Systems4641353UNISA