M

Marte2Mast

Eclipse plugin for evaluating Marte annotated UML models generated with the Papyrus UML editor with the MAST program.