| |
Лесовой Сергей Леонидович
|
| В базах данных Math-Net.Ru |
| Публикаций: |
1 |
| Научных статей: |
1 |
| Статистика просмотров: |
| Эта страница: | 91 | | Страницы публикаций: | 133 | | Полные тексты: | 61 | | Списки литературы: | 27 |
|
|
 |
https://www.mathnet.ru/rus/person139738 |
 |
Список публикаций на Google Scholar |
 |
Список публикаций на ZentralBlatt |
|
|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2018 |
| 1. |
S. L. Lesovoy, “Extracting architectural information from source code of ARINC 653-compatible application software using CEGAR-based approach”, Труды ИСП РАН, 30:3 (2018), 31–46  |
1
|
|
|
| Организации |
|
Обратная связь: