Тезисы докладов четвертого сибирского конгресса по прикладной и индустриальной математикесборник
Статьи, опубликованные в сборнике
-
-
-
2000
The development and verification of distributed real time embedded computer systems for avionics (Project DrTesy)
-
Smeliansky R.L.,
Chistolinov M.V.,
Epatko I.V.,
Grote J.F.,
Konchakov R.V.,
Peshko A.S.,
Tsarkov D.V.,
Usenko Y.S.,
Winter K.,
Zakharov V.A.
-
в сборнике Тезисы докладов четвертого сибирского конгресса по прикладной и индустриальной математике, том 2, тезисы, с. 128-129