Predictable Component Architectures Using Dependent Finite State Machines.

Heinz W. Schmidt Bernd J. Krämer Iman Poernomo Ralf H. Reussner

Published in: RISSEF (2002)

Keyphrases

finite state machines
model checking
finite state automata
digital circuits
regular expressions
real time
functional units
information systems
relational databases
hidden markov models
data analysis
domain specific
database management systems