Refine your search
Availability
-
bib-level
-
Authors
-
Topics
- LTI-системы (1)
- Мура автомат (1)
- автоматные уравнения (1)
- входо-выходные полуавтоматы (1)
- детерминизм (1)
- детерминированные автоматы (1)
- информационные технологии (2)
- конечные автоматы (1)
- конформность (4)
- модель LTS (1)
- недетерминизм (1)
- ориентированные графы (1)
- отказы (2)
- программные системы (1)
- семантика взаимодействия (1)
- синхронизирующие последовательности (1)
- синхронные композиции (1)
- теоремы (1)
- тестирование (5)
- установочные последовательности (1)
- Show more
- Show less