Refine your search
Availability
-
Bibliographic level
-
Authors
- Бурдонов, Игорь Борисович [x]
- Косачев, Александр Сергеевич (4)
-
Topics
- тестирование (4)
- конформность (3)
- отказы (2)
- LTI-системы (1)
- детерминизм (1)
- информационные технологии (1)
- конечные автоматы (1)
- модель LTS (1)
- недетерминизм (1)
- ориентированные графы (1)
- программные системы (1)
- семантика взаимодействия (1)
- Show more
- Show less