|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2021 |
| 1. |
T. Baar, H. Schulte, “Notes on recent achievements in proving stability using KeYmaeraX”, Модел. и анализ информ. систем, 28:4 (2021), 326–336  |
|
2019 |
| 2. |
T. Baar, H. Schulte, “Safety analysis of longitudinal motion controllers during climb flight”, Модел. и анализ информ. систем, 26:4 (2019), 488–501 |
1
|
|
2018 |
| 3. |
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 |
1
|
|
2017 |
| 4. |
Thomas Baar, “Towards measuring the abstractness of state machines based on mutation testing”, Модел. и анализ информ. систем, 24:6 (2017), 691–703  |
|
Обратная связь: