Thomas Baar Germany, Berlin Academic title Professor Research area program verification programming languages Affiliation & position Hochschule für Technik und Wirtschaft — professor E-mail thomas.baar@htw-berlin.de
Baar T., Schulte H. Safety Analysis of Longitunal Motion Controllers during Climb Flight // System Informatics. — 2019. — # 14. — P. 11-18
