Showing 1 - 2 results of 2 for search 'Sergei Petrovich Gorlatch', query time: 0.02s Refine Results
  1. 1
    Autotuning Parallel Programs by Model Checking

    Autotuning Parallel Programs by Model Checking by Natalia Olegovna Garanina, Sergei Petrovich Gorlatch

    Published 2021-12-01
    Get full text
    Article
  2. 2
    Temporal Logic for Programmable Logic Controllers

    Temporal Logic for Programmable Logic Controllers by Natalia Olegovna Garanina, Igor Sergeevich Anureev, Vladimir Evgenyevich Zyubin, Sergey Mikhailovich Staroletov, Tatiana Victorovna Liakh, Andrey Sergeevich Rozov, Sergei Petrovich Gorlatch

    Published 2020-12-01
    Get full text
    Article

Search Tools: