|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Testing and incremental conformance testing of timed state machinesстатья
- Авторы: Tvardovskii Aleksandr, El-Fakih Khaled, Yevtushenko Nina
- Журнал: Science of Computer Programming
- Том: 233
- Год издания: 2024
- Издательство: Elsevier BV
- Местоположение издательства: Netherlands
- Номер статьи: 103053
- DOI: 10.1016/j.scico.2023.103053
- Добавил в систему: Галатенко Алексей Владимирович