RUS
ENG
Full version
PEOPLE
Sokolova E B
Publications in Math-Net.Ru
Using Petri nets for error localization in debugging of MIS software
Avtomat. i Telemekh.
, 1988, no. 5,
165–177
Computer-aided control systems design IFAC/IMACS workshop
Avtomat. i Telemekh.
, 1990, no. 9,
186–188
III Всесоюзная научно-техническая конференция «Методы синтеза типовых модульных систем обработки данных»
Avtomat. i Telemekh.
, 1989, no. 11,
187–189
©
Steklov Math. Inst. of RAS
, 2024