|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2017 |
1. |
A. P. Sotnikov, N. V. Shabaldina, M. L. Gromov, “Experiments on parallel composition of timed finite state machines”, Труды ИСП РАН, 29:3 (2017), 233–246 |
2
|
|
2016 |
2. |
М. Л. Громов, Н. В. Шабалдина, “Построение каскадной параллельной композиции временных автоматов с использованием BALM-II”, Модел. и анализ информ. систем, 23:6 (2016), 715–728 |
1
|
|
2009 |
3. |
Е. А. Акеньшина, Н. В. Шабалдина, “К построению проверяющих тестов относительно неразделимости для недетерминированных автоматов”, ПДМ, 2009, № приложение к № 1, 63–65 |
4. |
Е. А. Акеньшина, Н. В. Шабалдина, “К построению проверяющих тестов относительно неразделимости для недетерминированных автоматов”, ПДМ, 2009, № 3(5), 106–111 |
|