TY - JOUR AU - V. A. Desnitsky AU - I. V. Kotenko TI - The use of expert knowledge for development of secure systems with embedded devices JO - Informacionnye tehnologii i vyčislitelnye sistemy PY - 2014 SP - 58 EP - 73 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ITVS_2014_4_a6/ LA - ru ID - ITVS_2014_4_a6 ER -