SMA - The Smyle Modeling Approach.

Benedikt Bollig Joost-Pieter Katoen Carsten Kern Martin Leucker

Published in: CEE-SET (2008)

Keyphrases

modeling framework
learning algorithm
image processing
high level
multiresolution
scheduling problem
modeling language