IEEE 2019 Ivannikov Ispras Open Conference (ISPRAS)журнал

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

---

• 
  • 2019 SMT Solvers in Application to Static and Dynamic Symbolic Execution: A Case Study
  • Malyshev Nikita, Dudina Irina, Kutz Daniil, Novikov Alexander, Vartanov Sergey
  • в журнале IEEE 2019 Ivannikov Ispras Open Conference (ISPRAS), с. 9-15 DOI
• • 2018 Investigating the Problems of Ship Propulsion on a Supercomputer
  • Aksenov Andrey A., Zhluktov Sergey V., Silaev Dmitriy P., Kharchenko Sergey A., Ilyin V.A., Pechenyuk Andriy V., Ryabinkin Evgeny A., Velikhov Vasily E.
  • в журнале IEEE 2019 Ivannikov Ispras Open Conference (ISPRAS), том 1, с. 124-131