Elena Ph. Jharko. Formalizing the Safety Functions to Assure the Software Quality of NPP Safety Important Systems. In Oleg Gusikhin, Kurosh Madani, Janan Zaytoon, editors, Proceedings of the 16th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2019 - Volume 2, Prague, Czech Republic, July 29-31, 2019. pages 637-644, SciTePress, 2019. [doi]
Abstract is missing.