Использование временных автоматов при тестировании киберфизических систем
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: Кондратьева, Ольга Викторовна