El-Miloudi El-Koursi, Ph. Meganck. Assessment criteria for safety critical computer. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, SMC 1998, Hyatt Regency La Jolla, San Diego, California, USA, October 11-14,1998. pages 3240-3245, IEEE, 1998. [doi]
Abstract is missing.