Programming and Verifying Real-Time Systems by Means OfSysnchronous Data-Flow Language Lustre

By: Material type: ArticleArticleDescription: 785-793 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.18, No.09 (Sep. 1992) Available

Visit counter For Websites

Copyright © 
Engr Abul Kalam Library, NEDUET, 2024