Методика доказательства безопасности программного обеспечения микропроцессрных систем железнодорожной автоматики
7
Views
Information & Security: An International Journal
28,
no. 2
(2012):
223-235.
Peer-reviewed open-access journal
published since 1998 by Procon Ltd.