Translating VHDL into Functional Symbolic Finite-State Models.

Gert Döhmen Ronald Herrmann Hergen Pargmann

Published in: Formal Methods Syst. Des. (1995)

Keyphrases

finite state
markov chain
model checking
probabilistic model
finite state transducers
language model
markov decision processes
action sets
continuous time bayesian networks