NTU Trường Đại học Nha Trang
Bộ GD&ĐT
Tra cứu văn bằng
E-Learning
E-Office
International journal on software tools for technology transfer : STTT, Tập 15, Số 2, 2013
Mục lục:
DòngNội dung
1Tools for software verification. Introduction to the special section from the seventeenth international conference on tools and algorithms for the construction and analysis of systems / Parosh Aziz Abdulla, K. Rustan M. Leino
2CADP 2011: a toolbox for the construction and analysis of distributed processes / Hubert Garavel and others
3Büchi Store: an open repository of ω -automata / Yih-Kuen Tsay and others
4Model-checking web services business activity protocols / Abinoam P. Marques Jr. and others