ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Journal influence

Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)

Bookmark

Next issue

3
Publication date:
14 September 2026

Keyword: formal specifications

  1. Authors: Новосельцев В.Б., Новиков Ф.А.

  2. Runtime verification of industrial information security tools based on formal access control models
  3. Authors: Петренко А.К., Ефремов Д.В., Корныхин Е.В., Кулямин В.В., Семенов В.А.