Top 242 andy rhodes PDF Book Page 11

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

…