Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements.

Sergiy A. Vilkomir, Aditya K. Ghose

Browse the full PROFES paper archive.