Sergiy A. Vilkomir, Aditya K. Ghose. Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements. In Frank Bomarius, Hajimu Iida, editors, Product Focused Software Process Improvement, 5th International Conference, PROFES 2004, Kausai Science City, Japan, April 5-8, 2004, Proceedings. Volume 3009 of Lecture Notes in Computer Science, pages 523-537, Springer, 2004. [doi]
Abstract is missing.