Formal Models of SysML Blocks.

Alvaro Miyazawa Lucas Lima Ana Cavalcanti

Published in: ICFEM (2013)

Keyphrases

formal models
formal model
rule based systems
formal methods
process model
modeling language
safety analysis
expert systems
variable size
fractal image coding
neural network
genetic algorithm
distributed systems
fuzzy rules
image blocks