Zobrazeno 1 - 4
of 4
pro vyhledávání: '"parallel automaton"'
Autor:
Yu. V. Pottosin
Publikováno v:
Informatika, Vol 21, Iss 3, Pp 7-22 (2024)
Objectives. The problems of decomposition of a parallel automaton into a net of sequential automata at synchronous realization and low power race free state assignment of them are considered. The objective of the paper is to investigate the possibili
Externí odkaz:
https://doaj.org/article/a4cbad6fdcb143e8bb619373e53dcfe3
Autor:
Yu. V. Pottosin
Publikováno v:
Informatika, Vol 20, Iss 1, Pp 75-90 (2023)
Objectives. The problem of low power state assignment of partial states of a parallel automaton is considered. The objective of the paper is to investigate the possibilities of using the decomposition in state assignment of partial states in order to
Externí odkaz:
https://doaj.org/article/5ed5b14045de42b5a18e4b01428a9c8c
Publikováno v:
Informatika, Vol 16, Iss 2, Pp 62-72 (2019)
Considered problem of model based verification of control systems is the checking whether the system behavior satisfies the requirements fixed in the design specification The testing includes the experiments consisting in simulation of investigated s
Externí odkaz:
https://doaj.org/article/52ef6c5acb0a465e966d1fecb59e4c4b
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.