Another scenario for the refinement of SDL models is to provide data operations using algebraic specifications [3], simulate the model and use SDL/TLE ...
確定! 回上一頁