خط مشی دسترسیدرباره ما
ثبت نامثبت نام
راهنماراهنما
فارسی
ورودورود
صفحه اصلیصفحه اصلی
جستجوی مدارک
تمام متن
منابع دیجیتالی
رکورد قبلیرکورد بعدی
Document Type : Latin Dissertation
Language of Document : English
Record Number : 153682
Doc. No : ET25474
Main Entry : Xiao Jun Zhang
Title Proper : Automatic Generation of SDL Specifications from Timed MSCs.POMPES PAR TRANSITIONS MULTIPLES
Note : This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract : The integration of Formal Description Techniques (FDTs) in the software processenables formal validation, translation, synthesis and code generation. Message SequenceCharts (MSC) and Specification and Description Language.
Subject : Electericl tess
: برق
electronic file name : TL49728.pdf
Title and statement of responsibility and : Automatic Generation of SDL Specifications from Timed MSCs.POMPES PAR TRANSITIONS MULTIPLES [Thesis]
 
 
 
(در صورت عدم وضوح تصویر اینجا را کلیک نمایید)