Showing 1 - 3 results of 3 for search 'Natalia Olegovna Garanina', query time: 0.02s Refine Results
  1. 1
    Knowledge-based Algorithms for BDI-agents

    Knowledge-based Algorithms for BDI-agents by Nikolay Vyacheslavovich Shilov, Natalia Olegovna Garanina

    Published 2020-12-01
    Get full text
    Article
  2. 2
    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
  3. 3
    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: