This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
دانشگاه آزاد اسلامی اصفهان(خوراسگان)
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
A CONCURRENCY MODEL FOR PROTOCOL LIVE SEQUENCE CHARTS
"
Document Type
:
Latin Dissertation
Language of Document
:
English
Record Number
:
148704
Doc. No
:
ET20496
Main Entry
:
Udit Dave
Title Proper
:
A CONCURRENCY MODEL FOR PROTOCOL LIVE SEQUENCE CHARTS
Note
:
This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract
:
Many verification engineers find it difficult to write specifications with formal specificationlanguages like Linear Temporal Logic (LTL) and Computational Tree Logic (CTL). This difficultyis one of the reasons that formal methods are not widely accepted. As a solution to this problem,we propose Protocol Live Sequence Charts (PLSCs) as a formal specification language and claimthat PLSCs are not only expressive enough but also conceptually accessible for use in widespreadhardware protocol compliance verification. Previous work in this area uses PLSCs to specify theVirtual Component Interface (VCI), a system-on-chip communication standard developed by the.
Subject
:
Electericl tess
:
برق
electronic file name
:
TL43633.pdf
Title and statement of responsibility and
:
A CONCURRENCY MODEL FOR PROTOCOL LIVE SEQUENCE CHARTS [Thesis]
http://localhost/site/catalogue/148704
آدرس ثابت
پیوستها
عنوان :
نام فایل :
نوع عام محتوا :
نوع ماده :
فرمت :
سایز :
عرض :
طول :
TL43633.pdf
TL43633.pdf
پایان نامه لاتین
متن
application/octet-stream
2.62 MB
85
85
نمایش
نظرسنجی