Design and Verification of Cyber-Physical Systems - From Theory t...
Downloads: 43286
Last checked: Jun. 1st '26
Date uploaded: Jun. 1st '26
Seeders: 25235
Leechers: 9782
INFO HASH: 720D4ACA00CC337B1F1BA48EE664DE7870939895
Design and Verification of Cyber-Physical Systems: From Theory to Applications
https://WebToolTip.com
English | May 12, 2026 | ISBN-10: 3032168570 | 593 pages| Epub PDF (True) | 90 MB
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.