2 E-böcker av Martin Franzle
Martin Franzle & Nicolas Markey: Formal Modeling and Analysis of Timed Systems
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 …
PDF
Engelska
DRM
€57.64
Martin Franzle & Deepak Kapur: Dependable Software Engineering: Theories, Tools, and Applications
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 Nove …
PDF
Engelska
DRM
€57.90
