(1997) 3.4 Labelled Transition System To gain confidence into the specification, it has been simulated with the XSimulator tool from the Eucalyptus toolbox ...
確定! 回上一頁