Coq, Theorem Proving, Software Correctness, Safety-Critical Systems
Design of Reliable and Resilient Electric Power Systems for Wide-Body All-Electric Aircraft
arxiv.org·9h
Improved Algorithm for <em>d</em>-Minimal Cuts in Reliability Evaluation of Multi-state Flow Networks
sciencedirect.com·20h
Loading...Loading more...