Connections the quarterly journal

Форма поиска

  • English
  • Русский
  • Журнал
    • Превью
    • Приоритетные темы на будущее
    • Будущие номера
    • Самые популярные статьи
    • Архив
  • Информация для авторов
  • Афина
Share/Save

Understanding Formal Methods

Вид публикации:

Book

Авторы:

Jean François Monin; Michael G. Hinchey

Источник:

Springer (2003)
  • 8057 просмотров
  • Google Scholar
  • RTF
  • EndNote XML

Active calls for articles

Russia at War: Strategic Competition, Confrontation, and Conflict

Deadline:
01.03.2025

Check also our Google Scholar profile

  • Downloads
  • Cited in
  • How to cite
No files have yet been downloaded.
"Formal and Intelligent Methods for Security and Resilience: Education and Training Issues." Information & Security: An International Journal 35, no. 2 (2016): 133-150.
APA style: Monin, J. François, & Hinchey M. G. (2003).  Understanding Formal Methods.
Chicago style: Monin, Jean François, and Michael G. Hinchey. Understanding Formal Methods. Springer, 2003.
IEEE style: Monin, J. François, and M. G. Hinchey, Understanding Formal Methods: Springer, 2003.
  • Trending
  • Latest
  • Most cited
  • Обеспечение демократического контроля над вооружёнными силами: непреходящие вызовы (829)
  • Не просто выживание: Роль секретной службы Аш-Шабаб – Амният – в сборе информации (759)
  • Конкурирующие стратегии: Российская Федерация против ЕС и США в Грузии и Украине (758)
  • Кавказская политика Турции в 2000-2022 гг. (746)
  • Борьба с преступностью, ненавистью и дезинформацией в киберпространстве (735)
view all
  • Модернизация управления кадрами в Вооружённых силах Украины в период военного конфликта: Подготовка новых офицеров
  • Русско-украинская война и цена удобрений
  • Влияние русско-украинской гибридной войны на политику и правила кибербезопасности Европейского Союза
  • Вторжение России в Украину и новейшая история белорусской государственности
  • Женщины, мир и безопасность в войне в Украине
view all
Introduction to Program-based Defense Resource Management (8)
The Art of Shaping Defense Policy: Scope, Components, Relationships (but no Algorithms) (6)
NATO and the South Caucasus: Armenia, Azerbaijan, and Georgia on Different Tracks (5)
From Civil-Military Relations to Resilience: The Fifth Wave of Strengthening Democracy through Research and Education (4)
Terror-Crime Nexus? Terrorism and Arms, Drug, and Human Trafficking in Georgia (4)
view all

© Консорциум военных академий и институтов исследования безопасности Партнерства ради мира, 2012-2024
Этот сайт был разработан и поддерживается Procon Ltd., исполнительным издателем журнала Connections: The Quarterly Journal