SimCheck: a contract type system for Simulink.

Pritam Roy Natarajan Shankar

Published in: Innov. Syst. Softw. Eng. (2011)

Keyphrases

control system
neural network
machine learning
control algorithm
preprocessing
multiresolution
supply chain
type checking