خط مشی دسترسیدرباره ما
ثبت نامثبت نام
راهنماراهنما
فارسی
ورودورود
صفحه اصلیصفحه اصلی
جستجوی مدارک
تمام متن
منابع دیجیتالی
رکورد قبلیرکورد بعدی
Document Type : Latin Dissertation
Language of Document : English
Record Number : 153205
Doc. No : ET24997
Main Entry : Weidong Larry Ying
Title Proper : Verification and Re-design of Communication Interfaces with Heterogeneous TimingPOMPES PAR TRANSITIONS MULTIPLES
Note : This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract : In this thesis we use a novel refinement-based technique to formally verify datatransfer in an asynchronous timing framework. Novel data transfer models are.
Subject : Electericl tess
: برق
electronic file name : TL49211.pdf
Title and statement of responsibility and : Verification and Re-design of Communication Interfaces with Heterogeneous TimingPOMPES PAR TRANSITIONS MULTIPLES [Thesis]
 
 
 
(در صورت عدم وضوح تصویر اینجا را کلیک نمایید)