Formal modeling with SysML.

Thouraya Bouabana-Tebibel Stuart Harvey Rubin Miloud Bennama

Published in: IRI (2012)

Keyphrases

formal methods
modeling language
modeling method
databases
information systems
computer vision
website
search algorithm
artificial neural networks
formal specification
dynamic aspects