Verification and Re-design of Communication Interfaces with Heterogeneous TimingPOMPES PAR TRANSITIONS MULTIPLES

منو

" Verification and Re-design of Communication Interfaces with Heterogeneous TimingPOMPES PAR TRANSITIONS MULTIPLES "

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]