|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9911114253403321 |
|
|
Autore |
Rauh Andreas |
|
|
Titolo |
Design and Verification of Cyber-Physical Systems : Essays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer, , 2026 |
|
©2026 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (1005 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science Series ; ; v.16060 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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. |
|
|
|
|
|
|
|