Буздалов Денис Викторович

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

1. О представлении модельного времени при помощи механизмов функционального программирования
   
   Труды ИСП РАН, 30:6 (2018),  341–366
2. Using modularization in embedded OS
   
   Труды ИСП РАН, 29:4 (2017),  283–294
3. A static approach to estimation of execution time of components in AADL models
   
   Труды ИСП РАН, 28:2 (2016),  157–172