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