%0 Report
%D 2014
%G eng
%T Методика доказательства безопасности программного обеспечения микропроцессрных систем железнодорожной автоматики