Нет фото Наталья Олеговна Гаранина

Гаранина Наталья Олеговна

Кандидат физико-математических наук

20192020

Результат исследований по году

Если Вы внесли какие-либо изменения в Pure, они скоро будут видимы здесь.

Fingerprint

Узнайте самые подробные результаты анализа активности Наталья Олеговна Гаранина. Указанные в этом разделе метки относятся к работам этого человека. Вместе они формируют уникальную картину активности.
  • 4 Аналогичные профили

Сеть

Последние внешние коллаборации на уровне страны. Узнайте подробнее, нажав точки.
  • An ontology-based approach to support formal verification of concurrent systems

    Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 сен 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (ред.). Springer Nature, стр. 114-130 17 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12232 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Two-Step Deductive Verification of Control Software Using Reflex

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Zyubin, V. & Gorlatch, S., 1 янв 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 50-63 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    2 Цитирования (Scopus)
Ваше сообщение было отправлено.
Ваше сообщение не было отправлено из-за ошибки.
Если Вы внесли какие-либо изменения в Pure, они скоро будут видимы здесь.