|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2018 |
| 1. |
Д. В. Буздалов, А. К. Петренко, А. В. Хорошилов, “О представлении модельного времени при помощи механизмов функционального программирования”, Труды ИСП РАН, 30:6 (2018), 341–366   |
|
2017 |
| 2. |
K. A. Mallachiev, N. V. Pakulin, A. V. Khoroshilov, D. V. Buzdalov, “Using modularization in embedded OS”, Труды ИСП РАН, 29:4 (2017), 283–294 |
|
2016 |
| 3. |
A. M. Troitskiy, D. V. Buzdalov, “A static approach to estimation of execution time of components in AADL models”, Труды ИСП РАН, 28:2 (2016), 157–172 |
1
|
|
