Refine your search
Availability
-
Bibliographic level
-
Authors
- Cavalli, Ana Rosa [x]
- Yevtushenko, Nina V. (3)
- Fuenzalida, C. (1)
- Hwang, Iksoon (1)
- Kondratyeva, O. (1)
- Kushik, Natalia G. (1)
- Rivera, D. (1)
- Show more
- Show less
-
Topics
- временные автоматы (1)
- временные автоматы с таймаутами (1)
- качество бизнеса (1)
- качество сервиса (1)
- конечные автоматы (1)
- недетерминированные конечные автоматы (1)
- отношения конформности (1)
- отт сервис (1)
- программное обеспечение (1)
- формальные модели (1)
- целочисленная временная переменная (1)
- Show more
- Show less