Coq, Theorem Proving, Software Correctness, Safety-Critical Systems
Design of Reliable and Resilient Electric Power Systems for Wide-Body All-Electric Aircraft
arxiv.org·6h
Loading...Loading more...
Coq, Theorem Proving, Software Correctness, Safety-Critical Systems