Design and Verification of Cyber-Physical Systems: From Theory to Applications: Essays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday - Couverture souple
Synopsis
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. Fränzle has had roles as a researcher, associate professor, and guest professor at institutions such as the Chinese Academy of Sciences, the University of Oxford, and the Technical University of Denmark. In 2002 he was appointed a professor at Carl von Ossietzky Universität Oldenburg where he leads the Cyber-Physical Systems research group.
Prof. Fränzle’s expertise is in modelling, verification, and synthesis of reactive, real-time, and hybrid dynamics in embedded and cyber-physical systems. Among specific topics, he has worked on the semantics of high-level modelling and specification languages and on decision problems and their application to verifying and synthesizing real-time and hybrid discrete-continuous systems. He has led major national and international interdisciplinary projects, in both foundational and applied research, recent domains include critical systems engineering for sociotechnical systems and the safety impacts for maritime and road transportation. He has published conference papers and journal articles with over 200 researchers, collaborating with both academics and industry engineers and scientists, and his impact and achievements are reflected in the contributions in this volume.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Design and Verification of Cyber-Physical Systems:...
Image fournie par le vendeur
Design and Verification of Cyber-Physical Systems: From Theory to Applications
Edité par
Springer Nature Switzerland AG Jun 2026, 2026
ISBN 10 : 3032168570
ISBN 13 : 9783032168573
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. Fränzle has had roles as a researcher, associate professor, and guest professor at institutions such as the Chinese Academy of Sciences, the University of Oxford, and the Technical University of Denmark. In 2002 he was appointed a professor at Carl von Ossietzky Universität Oldenburg where he leads the Cyber-Physical Systems research group.Prof. Fränzle s expertise is in modelling, verification, and synthesis of reactive, real-time, and hybrid dynamics in embedded and cyber-physical systems. Among specific topics, he has worked on the semantics of high-level modelling and specification languages and on decision problems and their application to verifying and synthesizing real-time and hybrid discrete-continuous systems. He has led major national and international interdisciplinary projects, in both foundational and applied research, recent domains include critical systems engineering for sociotechnical systems and the safety impacts for maritime and road transportation. He has published conference papers and journal articles with over 200 researchers, collaborating with both academics and industry engineers and scientists, and his impact and achievements are reflected in the contributions in this volume. 580 pp. Englisch. N° de réf. du vendeur 9783032168573
Acheter neuf
EUR 87,73
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Design and Verification of Cyber-Physical Systems: From Theory to Applications
Edité par
Springer Verlag GmbH, 2026
ISBN 10 : 3032168570
ISBN 13 : 9783032168573
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. N° de réf. du vendeur 2776914197
Acheter neuf
EUR 76,47
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Design and Verification of Cyber-Physical Systems: From Theory to Applications: Essays Dedicated to Martin Fr?nzle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 16060)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 26405342296
Acheter neuf
EUR 130,26
Expédition à EUR 3,49
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Design and Verification of Cyber-Physical Systems: From Theory to Applications: Essays Dedicated to Martin Fr?nzle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 16060)
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand. N° de réf. du vendeur 408860551
Acheter neuf
EUR 133,27
Expédition à EUR 7,63
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Design and Verification of Cyber-Physical Systems: From Theory to Applications: Essays Dedicated to Martin Fr?nzle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 16060)
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18405342290
Acheter neuf
EUR 135,68
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Design and Verification of Cyber-Physical Systems: From Theory to Applications
Edité par
Palgrave Macmillan Jun 2026, 2026
ISBN 10 : 3032168570
ISBN 13 : 9783032168573
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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. Fränzle has had roles as a researcher, associate professor, and guest professor at institutions such as the Chinese Academy of Sciences, the University of Oxford, and the Technical University of Denmark. In 2002 he was appointed a professor at Carl von Ossietzky Universität Oldenburg where he leads the Cyber-Physical Systems research group.Prof. Fränzle's expertise is in modelling, verification, and synthesis of reactive, real-time, and hybrid dynamics in embedded and cyber-physical systems. Among specific topics, he has worked on the semantics of high-level modelling and specification languages and on decision problems and their application to verifying and synthesizing real-time and hybrid discrete-continuous systems. He has led major national and international interdisciplinary projects, in both foundational and applied research, recent domains include critical systems engineering for sociotechnical systems and the safety impacts for maritime and road transportation. He has published conference papers and journal articles with over 200 researchers, collaborating with both academics and industry engineers and scientists, and his impact and achievements are reflected in the contributions in this volume.Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg 596 pp. Englisch. N° de réf. du vendeur 9783032168573
Acheter neuf
EUR 87,73
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Design And Verification Of Cyber-Physical Systems: From Theory To Applications: Essays Dedicated To Martin Franzle On The Occasion Of His 60Th Birthday
Edité par
Springer Nature Switzerland Ag, 2026
ISBN 10 : 3032168570
ISBN 13 : 9783032168573
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. In Stock. N° de réf. du vendeur x-3032168570
Acheter neuf
EUR 133,21
Expédition à EUR 14,66
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Design and Verification of Cyber-Physical Systems: From Theory to Applications | Essays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Design and Verification of Cyber-Physical Systems: From Theory to Applications | Essays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday | Andreas Rauh (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2026 | Springer | EAN 9783032168573 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 135362812
Acheter neuf
EUR 79,10
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Design and Verification of Cyber-Physical Systems: From Theory to Applications : Essays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday
impression à la demandeVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Fränzle has had roles as a researcher, associate professor, and guest professor at institutions such as the Chinese Academy of Sciences, the University of Oxford, and the Technical University of Denmark. In 2002 he was appointed a professor at Carl von Ossietzky Universität Oldenburg where he leads the Cyber-Physical Systems research group.Prof. Fränzle s expertise is in modelling, verification, and synthesis of reactive, real-time, and hybrid dynamics in embedded and cyber-physical systems. Among specific topics, he has worked on the semantics of high-level modelling and specification languages and on decision problems and their application to verifying and synthesizing real-time and hybrid discrete-continuous systems. He has led major national and international interdisciplinary projects, in both foundational and applied research, recent domains include critical systems engineering for sociotechnical systems and the safety impacts for maritime and road transportation. He has published conference papers and journal articles with over 200 researchers, collaborating with both academics and industry engineers and scientists, and his impact and achievements are reflected in the contributions in this volume. N° de réf. du vendeur 9783032168573
Acheter neuf
EUR 94,78
Expédition à EUR 64,45
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)