A formal framework for modeling and validating Simulink diagrams.

Chunqing Chen Jin Song Dong Jun Sun

Published in: Formal Aspects Comput. (2009)

Keyphrases

main contribution
formal model
modeling framework
real time
artificial intelligence
theoretical framework
data sets
decision making
probabilistic model
lightweight
mathematical model
conceptual framework