Login / Signup
Derivation of the Cascade Parallel Composition of Timed Finite State Machines Using BALM-II.
Maxim Gromov
Natalia Shabaldina
Published in:
Autom. Control. Comput. Sci. (2017)
Keyphrases
</>
finite state machines
model checking
finite state automata
parallel processing
hidden markov models
regular expressions
computer architecture
digital circuits
knowledge base
database
high level
database systems
shared memory
web service composition
grammatical inference