TY - RPRT
LA - eng
PY - 2014
TI - Методика доказательства безопасности программного обеспечения микропроцессрных систем железнодорожной автоматики
ER -