Zobrazeno 1 - 10
of 200
pro vyhledávání: '"Labeled transition system"'
Publikováno v:
Моделирование и анализ информационных систем, Vol 27, Iss 4, Pp 396-411 (2020)
Sequential reactive systems include hardware devices and software programs which operate in continuous interaction with the external environment, from which they receive streams of input signals (data, commands) and in response to them form streams o
Externí odkaz:
https://doaj.org/article/c42fc8cd23f7451294a5e81947f16176
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.
Publikováno v:
Modelirovanie i Analiz Informacionnyh Sistem, Vol 27, Iss 4, Pp 396-411 (2020)
Sequential reactive systems include hardware devices and software programs which operate in continuous interaction with the external environment, from which they receive streams of input signals (data, commands) and in response to them form streams o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::89f0847be594e6f1d7061ba951bc91ce
https://www.mais-journal.ru/jour/article/view/1432
https://www.mais-journal.ru/jour/article/view/1432
Publikováno v:
Tongxin xuebao, Vol 32, Pp 94-105 (2011)
Function behavior requirements（FBR） and safety behavior requirements（SBR） were described by action se-quences.Compared with the traditional logic or graphic form,action sequences can express the temporal relationship among interactive behavio
Externí odkaz:
https://doaj.org/article/4ba05533262244359290cfecc7c55b3a
Publikováno v:
Algorithms, Vol 11, Iss 9, p 131 (2018)
We provide an algorithm to efficiently compute bisimulation for probabilistic labeled transition systems, featuring non-deterministic choice as well as discrete probabilistic choice. The algorithm is linear in the number of transitions and logarithmi
Externí odkaz:
https://doaj.org/article/d8b0f96cce7d482e8bdb73a7ad9cd270
An asymptotic lowerbound of Ω((m+n)log n) is established for partition refinement algorithms that decide bisimilarity on labeled transition systems. The lowerbound is obtained by subsequently analysing two families of deterministic transition system
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6ebaf0bbc70406ac3b4abc031cd1729e
Publikováno v:
IEEE Access, Vol 6, Pp 78766-78779 (2018)
Alvis is a formal modeling language intended for developing systems consisting of concurrently operating units (real-time, embedded, and distributed systems). This paper describes the timed version of Alvis that is suitable for modeling discrete-time
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::af9bfd98c47ffe1948de4874551fec1e
https://doi.org/10.1109/access.2018.2885249
https://doi.org/10.1109/access.2018.2885249
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.