The report FIMU-RS-2011-03
Parametric Modal Transition Systems
by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Mikael Moller, Jiří Srba, A full version of the paper presented at ATVA 2011 July 2011, 24 pages.
FIMU-RS-2011-03. Available as Postscript, PDF.
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.