خط مشی دسترسیدرباره ما
ثبت نامثبت نام
راهنماراهنما
فارسی
ورودورود
صفحه اصلیصفحه اصلی
جستجوی مدارک
تمام متن
منابع دیجیتالی
رکورد قبلیرکورد بعدی
Document Type : Latin Dissertation
Language of Document : English
Record Number : 155165
Doc. No : ET26957
Main Entry : RACHID HAD JID J
Title Proper : ANALYSE E T VALIDATION FORMELLE DES SYSTEMES TEMPS REEL.ET C A L I B ~ RIQUEMENTET C A L I B ~RIQUEMENT.POMPES PAR TRANSITIONS MULTIPLES
Note : This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract : In this thesis, we are interested in the time Petri Net model (TPN model), for whichwe propose some approaches to verify its timed and untimed properties. The retai-ned verification technique is model-checking. Since the TPN state space is in general.
Subject : Electericl tess
: برق
electronic file name : TL51237.pdf
Title and statement of responsibility and : ANALYSE E T VALIDATION FORMELLE DES SYSTEMES TEMPS REEL.ET C A L I B ~ RIQUEMENTET C A L I B ~RIQUEMENT.POMPES PAR TRANSITIONS MULTIPLES [Thesis]
 
 
 
(در صورت عدم وضوح تصویر اینجا را کلیک نمایید)