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

منو

" 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 "

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]