خط مشی دسترسیدرباره ما
ثبت نامثبت نام
راهنماراهنما
فارسی
ورودورود
صفحه اصلیصفحه اصلی
جستجوی مدارک
تمام متن
منابع دیجیتالی
رکورد قبلیرکورد بعدی
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]
 
 
 
(در صورت عدم وضوح تصویر اینجا را کلیک نمایید)