An Automated Verificattion Method for Distributed Systems Softwae Based on Model Extraction

By: Material type: ArticleArticleDescription: 364-377 pSubject(s): In: Ieee Transactions on Software Engineering
Holdings
Item type Current library Call number Vol info Status Date due Barcode
Articles Articles Periodical Section Vol.28, No.04 (Apr. 2002) Available