English | 繁體

Search in the results

UM

Browse/Search Results:  1-1 of 1 Help

Selected(0)Clear Items/Page:    Sort:
Formal object-oriented analysis and design of an online ticketing system Conference paper
Li X., Liu Z., Guo Z.. Formal object-oriented analysis and design of an online ticketing system[C], 2001, 259-266.
Authors:  Li X.;  Liu Z.;  Guo Z.
Favorite | TC[WOS]:1 TC[Scopus]:2 | Submit date：2019/02/14
E-commerce  Formal Techniques  Liveness  Object-orientation  Safety  Uml