Software Safety Standards for the Basis of Certification in the Nuclear Domain | IEEE Conference Publication | IEEE Xplore