-
1
Verification of systems with behavior parallelism on the basis of the graph of reachable states
Published 2019-06-01Subjects: Get full text
Article -
2
Joint low power state assignment of sequential automata of a net implementing a parallel automaton
Published 2023-03-01Subjects: “…parallel automaton…”
Get full text
Article -
3
Decomposition of a parallel automaton into a net of sequential automata and low power state assignment of them at asynchronous implementation
Published 2024-09-01Subjects: “…parallel automaton…”
Get full text
Article