A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.

Dominic Steinhöfel Nathan Wasser

Published in: IFM (2017)

Keyphrases

information systems
data mining
control system
control method
decision making
image processing
three dimensional
multiscale
statistical analysis
data acquisition
control strategy
control theory