Author: "Doan, N.T." / Journal: 2010 fourth international conference on secure software integration & reliability improvement companion (ssiri-c) - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Doan, N.T."' showing total 1 results

Start Over Author "Doan, N.T." Journal 2010 fourth international conference on secure software integration & reliability improvement companion (ssiri-c)

1 results on '"Doan, N.T."'

1. MAFSE: A Model-Based Framework for Software Verification.

Author: Quan, T.T., Hoang, D.L.N., Nguyen, B.T., Nguyen, A.N., Tran, Q.D., Nguyen, P.H., Bui, T.H., Do, A.T., Huynh, L.V., Doan, N.T., Huynh, N.T., Nguyen, T.D., Nguyen, T.T., and Nguyen, V.H.
Published: 2010
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results