Formal Refinement in SysML.

Alvaro Miyazawa Ana Cavalcanti

Published in: IFM (2014)

Keyphrases

formal methods
modeling language
model checking
formal specification
image processing
multiscale
query refinement
refinement process
database
knowledge acquisition