... by the user-interface. For example, in the machine model of Fig. ... But, in this paper, we assume that the user can get an exact user model from a user manual and gives commands which are correct in the user model. All information the user anbsp;...
|Title||:||Discrete Event Systems 2004 (WODES'04)|
|Publisher||:||Elsevier - 2005|