DMCA

Abstract Establishing Formal Regulatory Requirements for Safety-Critical Software Certification

by Sergiy A. Vilkomir , Jonathan P. Bowen