Нет фото Елена Анатольевна Сидорова

Сидорова Елена Анатольевна

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

20202020

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

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

Fingerprint Узнайте самые подробные результаты анализа активности Елена Анатольевна Сидорова. Указанные в этом разделе метки относятся к работам этого человека. Вместе они формируют уникальную картину активности.

  • 2 Аналогичные профили

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

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

  • 1 статья в сборнике материалов конференции

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

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