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