المؤلفون: D. Rivera, N. Kushik, C. Fuenzalida, A. Cavalli, N. Yevtushenko

المصدر: Труды Института системного программирования РАН, Vol 26, Iss 6, Pp 17-30 (2018)

مصطلحات موضوعية: качество сервиса (qos), качество удовлетворенности пользователя (qoe), качество бизнеса (qobiz), отт сервис, формальная модель, расширенный конечный автомат с таймаутами, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://ispranproceedings.elpub.ru/jour/article/view/858Test; https://doaj.org/toc/2079-8156Test; https://doaj.org/toc/2220-6426Test

الوصول الحر: https://doaj.org/article/ec39e667ccb747b9b85d2423dab9fb8bTest

المؤلفون: H. Yenigun, N. Yevtushenko, N. Kushik, J. López

المصدر: Труды Института системного программирования РАН, Vol 30, Iss 1, Pp 7-24 (2018)

مصطلحات موضوعية: конечные автоматы, задача идентификации состояний, сложность, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://ispranproceedings.elpub.ru/jour/article/view/450Test; https://doaj.org/toc/2079-8156Test; https://doaj.org/toc/2220-6426Test

الوصول الحر: https://doaj.org/article/10e3c9ec74f4430e995c19b6a15d94e9Test

المؤلفون: N. . Kushik

المصدر: Труды Института системного программирования РАН, Vol 27, Iss 6, Pp 441-450 (2018)

مصطلحات موضوعية: конечный автомат, недетерминированный (ненаблюдаемый) автомат, древовидный автомат, проверяющий эксперимент, Electronic computers. Computer science, QA75.5-76.95

العلاقة: https://ispranproceedings.elpub.ru/jour/article/view/937Test; https://doaj.org/toc/2079-8156Test; https://doaj.org/toc/2220-6426Test; https://doaj.org/article/d1738ff633854bdebc4fb746bfcfc223Test

الإتاحة: https://doi.org/10.15514/ISPRAS-2015-27Test(6)-28
https://doaj.org/article/d1738ff633854bdebc4fb746bfcfc223Test

المؤلفون: M. Forostyanova, N. Kushik

وصف الملف: text/html

الإتاحة: http://cyberleninka.ru/articleTest/n/software-mutation-testing-towards-combining-program-and-model-based-techniques
http://cyberleninka.ru/article_covers/14510966.pngTest

المؤلفون: N. . Kushik

المصدر: Труды Института системного программирования РАН, Vol 27, Iss 6, Pp 441-450 (2018)

مصطلحات موضوعية: конечный автомат, недетерминированный (ненаблюдаемый) автомат, древовидный автомат, проверяющий эксперимент, General Earth and Planetary Sciences, lcsh:Electronic computers. Computer science, lcsh:QA75.5-76.95, General Environmental Science

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09ebfc0ea7090f98a24fe9b5e8b9206bTest
https://doi.org/10.15514/ispras-2015-27Test(6)-28

المؤلفون: M. Forostyanova, N. Kushik

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://syrcose.ispras.ru/2013/files/submissions/10_syrcose2013.pdfTest.

مصطلحات موضوعية: operator, model based testing

وصف الملف: application/pdf

العلاقة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.490.9087Test; http://syrcose.ispras.ru/2013/files/submissions/10_syrcose2013.pdfTest

الإتاحة: http://syrcose.ispras.ru/2013/files/submissions/10_syrcose2013.pdfTest