← Return to Article Details Методи і засоби контролю артефактів процесу проєктування програмно-алгоритмічної складової систем критичного призначення