RUS
ENG
Full version
JOURNALS
// Avtomatika i Telemekhanika
// Archive
Avtomat. i Telemekh.,
2023
Issue 12,
Pages
49–63
(Mi at16243)
This article is cited in
1
paper
Topical issue
Models and methods for verifying the accessibility and feasibility of goals and plans in large-scale systems by example for the elimination of consequences floods
A. D. Tsvirkun
a
,
A. F. Rezchikov
a
,
V. A. Kushnikov
b
,
O. I. Dranko
a
,
A. S. Bogomolov
b
,
A. D. Selyutin
b
a
V. A. Trapeznikov Institute of Control Sciences of Russian Academy of Sciences, Moscow
b
Federal Research Center "Computer Science and Control" of Russian Academy of Sciences, Moscow
Presented by the member of Editorial Board:
A. I. Mikhal'skii
Received:
26.05.2023
Revised:
18.09.2023
Accepted:
30.09.2023
DOI:
10.31857/S000523102312005X
Fulltext:
PDF file (717 kB)
First page:
PDF file
References
Cited by
©
Steklov Math. Inst. of RAS
, 2024