A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving

von Elderhalli, Yassmeen
Veröffentlicht in CICM (13. : 2020 : Online) Intelligent computer mathematics (2020)