Checking Experiments for Symbolic Input/Output Finite State Machines.

Alexandre Petrenko

Published in: ICST Workshops (2016)

Keyphrases

input output
finite state machines
state transition
model checking
finite state automata
internal states
high level
fuzzy model
regular expressions
noise cancellation
fuzzy neural network
fuzzy modeling
single phase
hidden markov models
load balancing