{"product_id":"9783031975363","title":"Lecture Notes in Computer Science: Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday","description":"\u003ch1\u003eLecture Notes in Computer Science: Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday\u003c\/h1\u003e \u003ch2\u003eFränzle, Martin; Niehaus, Jürgen; Westphal, Bernd\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cspan lang=\"en-GB\" data-olk-copy-source=\"MessageBody\"\u003eThis Festschrift is dedicated to Werner Damm, a pioneering researcher and practitioner in cyber-physical systems. Werner received his PhD in 1981 from RWTH Aachen and held the Chairs for Computer Architecture and Safety Critical Systems at Carl von Ossietzky Universität Oldenburg, from where he coordinated foundational research projects such as the Collaborative Research Center Automatic Verification and Analysis of Complex Systems, AVACS, funded by the German Science Foundation. He has been a founder or board member of many projects, associations, companies, and events, including the applied research institute OFFIS; BTC Embedded Systems, providing testing solutions for automotive systems; SafeTRANS, a non-profit industrial and academic association coordinating strategies and knowledge transfer in the area of safety relevant systems; and numerous conferences. He has been a scientific board member or expert advisor to the German Institute for Artificial Intelligence, DFKI; the ECSEL and Artemis public-private partnerships of the European Commission; the German Aerospace Center, DLR; the Helmholtz Association; and the US National Science Foundation. He is a member of the German National Academy of Technical Sciences, acatech. \u003cbr\u003e\u003cbr\u003e\u003c\/span\u003e\u003cspan lang=\"en-GB\"\u003eWerner Damm’s work has spanned mathematical models of embedded systems, systems-of-systems, cyber physical systems, specification languages, hybrid discrete-continuous systems, formal verification methods, automatic synthesis from formal specifications, and analysis of real-time and safety-critical behavior, complemented by applied research with industrial partners in avionics, automotive, space, and medical systems. Throughout his career he has been motivated to render digitally controlled systems safe, societally acceptable, and beneficial. The contributions in this volume reflect how he has inspired many researchers and practitioners across disciplines who share this ambition.\u003c\/span\u003e\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2025-10-02\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783031975363\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-031-97537-0\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 314\u003c\/p\u003e ","brand":"Springer Nature Switzerland","offers":[{"title":"Default Title","offer_id":44358885638284,"sku":"9783031975363","price":67.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783031975363.jpg?v=1774025393","url":"https:\/\/lateknightbooks.com\/products\/9783031975363","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}