1 option
Design and Verification of Cyber-Physical Systems : Essays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday.
Springer Nature - Springer Computer Science eBooks 2026 English International Available online
View online- Format:
- Book
- Author/Creator:
- Rauh, Andreas.
- Series:
- Lecture Notes in Computer Science Series
- Lecture Notes in Computer Science Series ; v.16060
- Language:
- English
- Physical Description:
- 1 online resource (1005 pages)
- Edition:
- 1st ed.
- Place of Publication:
- Cham : Springer, 2026.
- Summary:
- 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.
- Notes:
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 9783032168559
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.