Buzdalov Denis Viktorovich

Publications in Math-Net.Ru

1. On representation of simulation time in functional programming style
   
   Proceedings of ISP RAS, 30:6 (2018),  341–366
2. Using modularization in embedded OS
   
   Proceedings of ISP RAS, 29:4 (2017),  283–294
3. A static approach to estimation of execution time of components in AADL models
   
   Proceedings of ISP RAS, 28:2 (2016),  157–172