Тезисы докладов четвертого сибирского конгресса по прикладной и индустриальной математикесборник

Статьи, опубликованные в сборнике

---

• • 2000 The development and verification of distributed real time embedded computer systems for avionics
  • Bahmurov A.G., Chistolinov M.V., Epatko I.V., Smelyanskij R.L., Vinter K., Zakharov V.A.
  • в сборнике Тезисы докладов четвертого сибирского конгресса по прикладной и индустриальной математике, том 2, тезисы, с. 128-129
• • 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