موضوع فارسی :در معناشناسی ارتباط فرآیندهای سخت افزار و خودترجمه به LOTOS برای تایید آسنکرونمدارهای با CADP موضوع انگلیسی :On the semantics of communicating hardware processes and theirtranslation into LOTOS for the verification of asynchronouscircuits with CADP تعداد صفحه :28 فرمت فایل :PDF سال انتشار :2009 زبان مقاله : انگلیسی سنگ روند سخت افزار، مانند CHP (ارتباط فرایندهای سخت افزار)، بالسا، یا عجله(که قبلا به معمای چینی)، یک روش طبیعی برای توصیف سخت افزار آسنکرونمعماری. این سنگ پسوند س ...