Unifying modal interface theories and compositional input/output conformance testing.

Lars Luthmann Stephan Mennicke Malte Lochau

Published in: Sci. Comput. Program. (2019)

Keyphrases

input output
internal states
noise cancellation
user interface
fuzzy neural network
neural network
fuzzy modeling
data envelopment analysis
fuzzy model
modal logic
state transition
fuzzy logic controller
test cases
single phase
database
data center
hidden markov models