High-Level State Machine Specification and Synthesis.

Andreas Kuehlmann Reinaldo A. Bergamaschi

Published in: ICCD (1992)

Keyphrases

state machine
high level
state machines
low level
fault tolerant
finite state machines
program synthesis
higher level
programming language
low level features
model checking
databases
distributed systems
texture synthesis
mid level
hidden markov models
web services