A Modular Approach to Formal Specification and Verification of Dependable Distributed ProtocolsPOMPES PAR TRANSITIONS MULTIPLES

منو

" A Modular Approach to Formal Specification and Verification of Dependable Distributed ProtocolsPOMPES PAR TRANSITIONS MULTIPLES "

Document Type	:	Latin Dissertation
Language of Document	:	English
Record Number	:	152998
Doc. No	:	ET24790
Main Entry	:	Da Qi Ren
Title Proper	:	A Modular Approach to Formal Specification and Verification of Dependable Distributed ProtocolsPOMPES PAR TRANSITIONS MULTIPLES
Note	:	This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract	:	Dependable distributed system typically utilize a hierarchy of protocols toprovide for reliable and timely services. Such protocols have both dependabilityand real-time attributes, and the analysis of these protocols is a problem of grow-ing complexity. The development of precise and accurate fornial specifications.
Subject	:	Electericl tess
	:	برق
electronic file name	:	TL49001.pdf
Title and statement of responsibility and	:	A Modular Approach to Formal Specification and Verification of Dependable Distributed ProtocolsPOMPES PAR TRANSITIONS MULTIPLES [Thesis]