Verifying Correctness of Interfaces of Design Models of Manufacturing Systems Using Functional Abstractions.

By: Material type: ArticleArticleDescription: 307-320 pSubject(s): In: IEEE Transactions on Industrial Electronics
Holdings
Item type Current library Call number Vol info Status Date due Barcode
Articles Articles Periodical Section Vol.44, No.03 (Jun. 1997) Available