Uses of Package

Classes in used by Default Package
AdrenalineTransformation
          This class implements the TIM-to-TSM transformation for the ADRENALINE testbed.
TIMTransformation
          This is the abstract class for TIM to TSM transformation.
TIMTransformationException
          This class model an specific exceptions type for TIM-to-TSM transformations.
VNUMLTransformation
          This class implements the TIM-to-VNUML transformations.