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

Journal influence

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

Bookmark

Next issue

№2
Publication date:
16 June 2024

Korablin Yu.P.

Ph.D (y.p.k@mail.ru)
Russian State Social University
Author in:
  1. Process semantics of distributed programming language
    2. Co-authors: Korablin Yu.P., Кучугуров И.В.
  2. Questions equivalent schemes of parallel programs
    3. Co-authors: Korablin Yu.P., Кучугуров И.В., Kosakyan M.L.
  3. Development tools of verification for device drivers based on semantic models
    4. Co-authors: Korablin Yu.P., Павлов Е.Г.
  4. Software tool for simulation modeling with the graph models
    5. Co-authors: Korablin Yu.P., Незнанов А.А., Карпухин И.Н.
  5. Analysis tools of Linux operating system drivers development
    6. Co-authors: Korablin Yu.P., Павлов Е.Г.
  6. Analysis of the programm use the language of asynchronous functional schemes models using linear-time temporal logic
    7. Co-authors: Korablin Yu.P., Kosakyan M.L.
  7. The limitation method for verifiable models
    8. Co-authors: Korablin Yu.P., Shipov A.A.
  8. Equational characteristics of LTL formulas
    9. Co-authors: Korablin Yu.P., Shipov A.A.
  9. System models construction based on LTL formula equational characteristics
    10. Co-authors: Korablin Yu.P., Shipov A.A.
  10. System model verification based on equational characteristics of LTL formulas
    11. Co-authors: Korablin Yu.P., Shipov A.A., A.S. Kochergin
  11. The unified representation of LTL and CTL logics formulas by recursive equation systems
    12. Co-authors: Korablin Yu.P., Shipov A.A.
  12. Systems model verification based on equational characteristics of СTL formulas
    13. Co-authors: Korablin Yu.P., Shipov A.A.