Martin Fränzle – författare
Visar alla böcker från författaren Martin Fränzle. Handla med fri frakt och snabb leverans.
3 produkter
Engineering Safe and Trustworthy Cyber Physical Systems
Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday
Av Martin Fränzle, Jürgen Niehaus m. fl.
Häftad, 2025
727 kr
Lägg i varukorg
This Festschrift is dedicated to Werner Damm, a pioneering researcher and practitioner in cyber-physical systems. Werner received his PhD in 1981 from RWTH Aachen and held the Chairs for Computer Architecture and Safety Critical Systems at Carl von Ossietzky Universität Oldenburg, from where he …
Formal Modeling and Analysis of Timed Systems
14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
Av Martin Fränzle, Nicolas Markey
Häftad, 2016
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. …
Dependable Software Engineering: Theories, Tools, and Applications
Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Av Martin Fränzle, Deepak Kapur m. fl.
Häftad, 2016
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.The 17 full papers presented together with 3 short papers were carefully reviewed and …
