Баар ТомасРоссия, БерлинЗваниеПрофессорОбласть научных интересовверификация программязыки программированияМесто работы и должность Hochschule für Technik und Wirtschaft — профессор Адрес электронной почтыthomas.baar@htw-berlin.de Список статей в журнале СИ: Баар Т. Шульте Х. Safety Analysis of Longitunal Motion Controllers during Climb Flight // Системная информатика. — 2019. — № 14. — С. 11-18