3 search results - page 1 / 1 » MTSA: The Modal Transition System Analyser |
KBSE
2008
IEEE
13 years 11 months ago
2008
IEEE
Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whethe...
ECLIPSE
2007
ACM
13 years 8 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
HUC
2011
Springer
12 years 4 months ago
2011
Springer
The widespread adoption of automated fare collection (AFC) systems by public transport authorities around the world means that, increasingly, people carry and use passive sensors ...