Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Баар Томас

В базах данных Math-Net.Ru
Публикаций: 3
Научных статей: 3

Статистика просмотров:
Эта страница:194
Страницы публикаций:546
Полные тексты:213
Списки литературы:20
E-mail:

http://www.mathnet.ru/rus/person134061
Список публикаций на Google Scholar
https://zbmath.org/authors/?q=ai:baar.thomas
http://orcid.org/0000-0002-8443-1558

Публикации в базе данных Math-Net.Ru
2019
1. T. Baar, H. Schulte, “Safety analysis of longitudinal motion controllers during climb flight”, Модел. и анализ информ. систем, 26:4 (2019),  488–501  mathnet
2018
2. T. Baar, S. Staroletov, “A control flow graph based approach to make the verification of cyber-physical systems using KeYmaera easier”, Модел. и анализ информ. систем, 25:5 (2018),  465–480  mathnet
2017
3. Thomas Baar, “Towards measuring the abstractness of state machines based on mutation testing”, Модел. и анализ информ. систем, 24:6 (2017),  691–703  mathnet  elib

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021