117
click to vote
KBSE
2008
IEEE
15 years 10 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...