Top 507 keith rhodes ousley PDF Book Page 22

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Tiziana Margaria, Bernhard Steffen

·596 Pages

·2020

·27.775 MB

System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches: Volume 1 Fault Diagnostics and Reliability Proceedings of the First European Workshop on Fault Diagnostics, Reliability and Related Knowledge-Based Approaches, Island of Rhodes,

Rolf Isermann (auth.), Spyros Tzafestas, Madan Singh, Günther Schmidt (eds.)

·425 Pages

·1987

·29.861 MB

On the Move to Meaningful Internet Systems. OTM 2017 Workshops: Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers

Christophe Debruyne,Hervé Panetto,Georg Weichhart,Peter Bollen,Ioana Ciuciu,Maria-Esther Vidal,Robert Meersman (eds.)

·329 Pages

·2018

·20.499 MB

…