Executing certified model transformations on Apache Spark.

Jolan Philippe, Massimo Tisi, Hlne Coullon, Gerson Suny

Browse the full SLE paper archive.