Баар Томас

Публикации в базе данных Math-Net.Ru

1. Notes on recent achievements in proving stability using KeYmaeraX
   
   Модел. и анализ информ. систем, 28:4 (2021),  326–336
2. Safety analysis of longitudinal motion controllers during climb flight
   
   Модел. и анализ информ. систем, 26:4 (2019),  488–501
3. A control flow graph based approach to make the verification of cyber-physical systems using KeYmaera easier
   
   Модел. и анализ информ. систем, 25:5 (2018),  465–480
4. Towards measuring the abstractness of state machines based on mutation testing
   
   Модел. и анализ информ. систем, 24:6 (2017),  691–703