Методика доказательства безопасности программного обеспечения микропроцессрных систем железнодорожной автоматики

Publication Type:

Report

Authors:

Б.В. Сивко

Source:

(2014)
Share/Save