КАМЕНЄВ, О. Ю. ОСОБЛИВОСТІ ЗАСТОСУВАННЯ ЕКСПЕРИМЕНТАЛЬНИХ МЕТОДІВ ДОКАЗУ БЕЗПЕЧНОСТІ СИСТЕМ МІКРОПРОЦЕСОРНОЇ ЦЕНТРАЛІЗАЦІЇ СТРІЛОК ТА СИГНАЛІВ. EMCSRT 2011.