The report FIMU-RS-2011-03
Parametric Modal Transition Systems
Modal transition systems (MTS) is a well-studied specification formalism of reactive systems supporting a step-wise refinement methodology. Despite its many advantages, the formalism as well as its currently
Please install a newer browser for this site to function properly.