Design and Verification of Cyber-Physical Systems : Essays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Rauh Andreas
|
| Titolo: |
Design and Verification of Cyber-Physical Systems : Essays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday
|
| Pubblicazione: | Cham : , : Springer, , 2026 |
| ©2026 | |
| Edizione: | 1st ed. |
| Descrizione fisica: | 1 online resource (1005 pages) |
| Altri autori: |
Rauh
|
| Nota di contenuto: | 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. |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Design and Verification of Cyber-Physical Systems |
| ISBN: | 3-032-16855-4 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9911114253403321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science Series