Fingerprint Узнайте самые подробные результаты анализа активности Кафедра компьютерных технологий ФИТ. Указанные в этом разделе метки относятся к работам этих участников организации. Вместе они формируют уникальную картину его активности.

  • Сеть Последние внешние коллаборации на уровне страны. Узнайте подробнее, нажав точки.

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

    • 21 статья
    • 12 статья в сборнике материалов конференции
    • 4 статья по материалам конференции
    • 2 патент на изобретение

    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).

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

  • Self-regulation Strategies and Heart Rate Biofeedback Training

    Jafarova, O., Mazhirina, K., Sokhadze, E. & Shtark, M., 1 июн 2020, В : Applied Psychophysiology Biofeedback. 45, 2, стр. 87-98 12 стр.

    Результат исследования: Научные публикации в периодических изданияхстатья

  • Модуль газового пожаротушения

    Минаев, А. О. & Лобанов, А. В., 2 июл 2020, (Отправлено) Роспатент - Федеральная служба по интеллектуальной собственности, Дата приоритета 7 июл 2020, № приоритета 2020123330

    Результат исследования: Патенты/Свидетельства о регистрациипатент на изобретение