Zobrazeno 1 - 10
of 66
pro vyhledávání: '"N. Kushik"'
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 6, Pp 17-30 (2018)
Most of the work related to QoE maps objective variables (QoS-related) into a single one that predicts the quality the user perceives. In this paper we present a new approach to model multimedia OTT services, integrating not only the functional aspec
Externí odkaz:
https://doaj.org/article/ec39e667ccb747b9b85d2423dab9fb8b
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 1, Pp 7-24 (2018)
State identification is a long standing problem in the area of Finite State Machine (FSM) based modeling and testing of discrete event systems. For the identification of the current state of the system, so-called homing and synchronizing experiments
Externí odkaz:
https://doaj.org/article/10e3c9ec74f4430e995c19b6a15d94e9
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
N. . Kushik
Publikováno v:
Труды Института системного программирования РАН, Vol 27, Iss 6, Pp 441-450 (2018)
The paper addresses the problem of deriving preset checking experiments for non-observable FSMs. The fault model is considered to be a ‘white box’ where all possible implementations are explicitly enumerated. We show that if the specification FMS
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09ebfc0ea7090f98a24fe9b5e8b9206b
https://doi.org/10.15514/ispras-2015-27(6)-28
https://doi.org/10.15514/ispras-2015-27(6)-28
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.