Подходи за моделиране и верификация на програмно осигуряване

Даниела Орозова

ПВ 2280

Източник - периодично издание: Годишник. Бургаски свободен университет
Година на издаване: 2020
Страници: с. 41 - 47
Том: 42
Ключови думи: програмиране, софтуерна сигурност, програмно осигуряване, мрежи на Петри, верификация на програмен код

Орозова, Даниела Подходи за моделиране и верификация на програмно осигуряване, , 2020, с. 41 - 47.

Орозова, Даниела . Подходи за моделиране и верификация на програмно осигуряване. : , 2020, с. 41 - 47.

Орозова, Даниела (2020) Подходи за моделиране и верификация на програмно осигуряване, : , с. 41 - 47

* Моля, проверите цитатите за точност, преди да ги включите в работата си.