Search
Research and practice journal
Software & Systems
ISSN 0236-235X (P)
ISSN 2311-2735 (E)
Send article
About
Contacts
Editorial Board
Journal scope
Current issue
Content
Authors
Journal archive
Subscription
For authors
Submission Requirements
Review
Publication Ethics
Journal influence
Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)
Bookmark
Next issue
№
4
Publication date:
09 September 2024
Issues
2024
№3 2024
№2 2024
№1 2024
2023
№4 2023
all issues
Keyword: graph-analytic model
Program synthesizing based on a graph-analytic model description
Authors:
Зыков А.Г.
,
Кочетков И.В.
,
Поляков В.И.
,
Чистиков Е.Г.
Automation of program verification using graph analytical models of a computational process
Authors:
Зыков А.Г.
,
Поляков В.И.
,
Голованев Я.С.