Премини към основното съдържание

ЦМСО / лого

Информационни Технологии в Сигурността

СЦОСА  (запазен знак)

  • ИТ в сигурността
  • Екип
    • Изследователи
    • Сътрудници
    • Специалисти
    • Докторанти
  • Проекти
    • Текущи
    • Предстоящи
    • Завършени
  • Курсове
    • Отбранителна политика
    • Изследвания на сигурността
    • Киберсигурност
    • Администрация
    • Мениджмънт
    • Икономика
    • Иновации
    • Теми
    • виж всички
  • Ресурси
    • Публикации
    • Доклади
    • Позиции на ЦМСО
    • Презентации
    • Книги
  • Събития
  • Партньори
  • Контакти

Biblio

Export 1 results:
  • RTF
  • EndNote XML
Filters: Автор is Peter Froebel  [Clear All Filters]
2000
Lawford, Mark, Jeff McDougall, Peter Froebel, and Greg Moum. Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software In Algebraic Methodology and Software Technology., 2000.
  • Google Scholar
  • RTF
  • EndNote XML
  • English
  • Български
  • Facebook icon
  • Twitter icon
  • LinkedIn icon

Форма за търсене

Resources

  • Политика за сигурност
  • Киберсигурност
  • Разузнаване
  • Вътрешен ред и сигурност
  • Terrorism
  • Операции
  • Технологии и индустрия
  • Управление на човешките ресурси
  • Управление на аквизицията
  • Стратегия
  • Концепции и доктрини
  • Мениджмънт
  • Икономика на отбраната
  • Финансов мениджмънт
  • Мениджмът на информация и знание
  • Симулации и подготовка
  • Управление на промяната
  • Взимане на решение
  • Добро управление

Партньорски сайтове

Information & Security: An International JournalSecurity & Defence Mangement siteConnectins: The Quarterly Journal

IT4Sec Новини

Д-р Тагарев обсъжда сътрудничество в научните изследвания с Киевски университет

виж повече >>

Интервю за БНТ за предстоящата среща на върха на НАТО

виж повече >>

Официално представяне на румънското издание на BI Compendium

виж повече >>

Разработване и прилагане на планове за укрепване на интегритета в отбраната

виж повече >>

Международно сътрудничество в отговор на общите предизвикателства и заплахи

виж повече >>
виж всички

  

 Запазен знак ИИКТ Българска Академия на Науките (графика)

©  Секция "ИТ в сигурността", Институт по ИКТ, 2010 -