Formalizing the Safety Functions to Assure the Software Quality of NPP Safety Important Systems.

Elena Ph. Jharko

Browse the full ICINCO paper archive.