Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Мартинелли Фабио
В базах данных Math-Net.Ru
Публикаций:
1
Научных статей:
1
Статистика просмотров:
Эта страница:
16
Страницы публикаций:
602
Полные тексты:
30
PhD
https://www.mathnet.ru/rus/person181601
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
Публикации в базе данных
Math-Net.Ru
Цитирования
2022
1.
F. Mercaldo, F. Martinelli, A. Santone, “Model checking for real-time attack detection in water distribution systems”,
Информатика и автоматизация
,
21
:2 (2022),
219–242
1
Организации
Institute for Informatics and Telematics, National Research Council of Italy
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024