خط مشی دسترسیدرباره ما
ثبت نامثبت نام
راهنماراهنما
فارسی
ورودورود
صفحه اصلیصفحه اصلی
جستجوی مدارک
تمام متن
منابع دیجیتالی
رکورد قبلیرکورد بعدی
Document Type : Latin Dissertation
Language of Document : English
Record Number : 153331
Doc. No : ET25123
Main Entry : Tarek Mhamdi
Title Proper : On the Embedding of Multiway Decision Graphs in HOLPOMPES PAR TRANSITIONS MULTIPLES
Note : This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract : The increasing complexity of hardware systems requires more and more sophisticatedmethods of verification. While model checking suffers from the state space explosionproblem, theorem proving is quite tedious and impractical for verifying complex de-signs. In this thesis, we propose a verification framework.
Subject : Electericl tess
: برق
electronic file name : TL49341.pdf
Title and statement of responsibility and : On the Embedding of Multiway Decision Graphs in HOLPOMPES PAR TRANSITIONS MULTIPLES [Thesis]
 
 
 
(در صورت عدم وضوح تصویر اینجا را کلیک نمایید)