Использование временных автоматов при тестировании киберфизических систем
| Published in: | Известия высших учебных заведений. Физика Т. 59, № 12. С. 174-176 |
|---|---|
| Main Author: | Громов, Максим Леонидович |
| Other Authors: | Евтушенко, Нина Владимировна, Лапутенко, Андрей Владимирович |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001142248 |
Similar Items
-
О минимизации временных автоматов
by: Твардовский, Александр Сергеевич -
О возможностях автоматного описания параллельной композиции временных автоматов
by: Твардовский, Александр Сергеевич -
Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов
by: Твардовский, Александр Сергеевич -
К минимизации автоматов с таймаутами
by: Твардовский, Александр Сергеевич -
Параллельная композиция временных автоматов
by: Кондратьева, Ольга Викторовна
