SysML to NuSMV Model Transformation via Object-Orientation.

Georgiana Caltais Florian Leitner-Fischer Stefan Leue Jannis Weiser

Published in: CyPhy (2016)

Keyphrases

object orientation
object oriented
database
data mining
software engineering
knowledge based systems
model checking
modeling language