Премини към основното съдържание
ИТ в сигурността
Екип
Изследователи
Сътрудници
Специалисти
Докторанти
Проекти
Текущи
Предстоящи
Завършени
Курсове
Отбранителна политика
Изследвания на сигурността
Киберсигурност
Администрация
Мениджмънт
Икономика
Иновации
Теми
виж всички
Ресурси
Публикации
Доклади
Позиции на ЦМСО
Презентации
Книги
Събития
Партньори
Контакти
Biblio
Export 5 results:
RTF
EndNote XML
Filters:
Автор
is
Alexander Romanovsky
[Clear All Filters]
2012
"
Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project
."
ACM SIGSOFT Software Engineering Notes
37, no. 5 (2012): 1-4.
DOI
Google Scholar
RTF
EndNote XML
"
Intrusion-Avoidance via System Diversity
."
Information & Security: An International Journal
28, no. 1 (2012): 154-158.
DOI
Google Scholar
RTF
EndNote XML
2010
"
Developing Mode-Rich Satellite Software by Refinement in Event-B
." In
Formal Methods for Industrial Critical Systems, FMICS 2010
. Springer, 2010.
DOI
Google Scholar
RTF
EndNote XML
2006
Butler, Michael
,
Cliff B. Jones
,
Alexander Romanovsky
, and
Elena Troubitsyna
.
Rigorous Development of Complex Fault-Tolerant Systems
. Berlin: Springer, 2006.
DOI
Google Scholar
RTF
EndNote XML
2004
Gorbenko, Anatoly
,
Peter Popov
,
Alexander Romanovsky
,
Artem Boyarchuk
, and
Vyacheslav Kharchenko
.
"
Development of Dependable Web Services out of Undependable Web Components
."
Technical Report CS-TR (Newcastle: School of Computing Science
(2004).
Google Scholar
RTF
EndNote XML
English
Български
Форма за търсене
Търси
Resources
Политика за сигурност
Киберсигурност
Разузнаване
Вътрешен ред и сигурност
Terrorism
Операции
Технологии и индустрия
Управление на човешките ресурси
Управление на аквизицията
Стратегия
Концепции и доктрини
Мениджмънт
Икономика на отбраната
Финансов мениджмънт
Мениджмът на информация и знание
Симулации и подготовка
Управление на промяната
Взимане на решение
Добро управление