Browsing 2014 by Subject "Валидация программного обеспечения"
Now showing items 1-1 of 1
-
Методика доказательства безопасности программного обеспечения микропроцессрных систем железнодорожной автоматики
(БелГУТ, 2014)Предложена методика доказательства безопасности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики с помощью формальных методов, в которой рассматриваются валидация и верификация ...