Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ.

Ian Toyn Andy Galloway

Published in: ZB (2005)

Keyphrases

complex systems
three dimensional
statistical models
information systems
experimental data
probability models
data sets
databases
neural network
website
case study
mobile robot
statistical model
random fields
topological properties