English | 繁體

Search in the results

UM

Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
Basic research in computer science and software engineering at SKLCS Journal article
Zhang J., Zhang W., Zhan N., Shen Y., Chen H., Zhang Y., Wang Y., Wu E., Wang H., Zhu X.. Basic research in computer science and software engineering at SKLCS[J]. Frontiers of Computer Science in China, 2008, 2(1), 1-11.
Authors:  Zhang J.;  Zhang W.;  Zhan N.;  Shen Y.;  Chen H.; et al.
Favorite | TC[Scopus]:0 | Submit date：2019/02/13
Automated Reasoning  Computer Graphics  Concurrency Theory  Formal Specification  Human-computer Interaction  Middleware  Parallel Algorithms  Real-time System  Software Process  
Harnessing rCOS for tool support - The CoCoME experience Conference paper
Chen Z., Li X., Liu Z., Stolz V., Yang L.. Harnessing rCOS for tool support - The CoCoME experience[C], 2007, 83-114.
Authors:  Chen Z.;  Li X.;  Liu Z.;  Stolz V.;  Yang L.
Favorite | TC[WOS]:2 TC[Scopus]:5 | Submit date：2019/02/14
Formal Methods  Software Development Tool  Software Process  Tool Design