ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Formal Methods for Protocol Engineering and Distributed Systems: FORTE XII / PSTV XIX’99 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX) October 5–8, 1999, Beijing, China

دانلود کتاب روش‌های رسمی برای مهندسی پروتکل و سیستم‌های توزیع‌شده: FORTE XII / PSTV XIX’99 IFIP TC6 WG6.1 کنفرانس مشترک بین‌المللی تکنیک‌های توصیف رسمی برای سیستم‌های توزیع‌شده و پروتکل‌های ارتباطی (FORTE XII) و مشخصات پروتکل، تست و تأیید پروتکل، 19 اکتبر، تست و تأیید چین

Formal Methods for Protocol Engineering and Distributed Systems: FORTE XII / PSTV XIX’99 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX) October 5–8, 1999, Beijing, China

مشخصات کتاب

Formal Methods for Protocol Engineering and Distributed Systems: FORTE XII / PSTV XIX’99 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX) October 5–8, 1999, Beijing, China

ویرایش: 1 
نویسندگان: , , , , ,   
سری: IFIP Advances in Information and Communication Technology 28 
ISBN (شابک) : 9781475752700, 9780387355788 
ناشر: Springer US 
سال نشر: 1999 
تعداد صفحات: 478 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 20 مگابایت

قیمت کتاب (تومان) : 76,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 14


در صورت تبدیل فایل کتاب Formal Methods for Protocol Engineering and Distributed Systems: FORTE XII / PSTV XIX’99 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX) October 5–8, 1999, Beijing, China به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش‌های رسمی برای مهندسی پروتکل و سیستم‌های توزیع‌شده: FORTE XII / PSTV XIX’99 IFIP TC6 WG6.1 کنفرانس مشترک بین‌المللی تکنیک‌های توصیف رسمی برای سیستم‌های توزیع‌شده و پروتکل‌های ارتباطی (FORTE XII) و مشخصات پروتکل، تست و تأیید پروتکل، 19 اکتبر، تست و تأیید چین نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب روش‌های رسمی برای مهندسی پروتکل و سیستم‌های توزیع‌شده: FORTE XII / PSTV XIX’99 IFIP TC6 WG6.1 کنفرانس مشترک بین‌المللی تکنیک‌های توصیف رسمی برای سیستم‌های توزیع‌شده و پروتکل‌های ارتباطی (FORTE XII) و مشخصات پروتکل، تست و تأیید پروتکل، 19 اکتبر، تست و تأیید چین



روش‌های رسمی برای مهندسی پروتکل و سیستم‌های توزیع شده به تکنیک‌های توصیف رسمی (FDT) مربوط به سیستم‌های توزیع شده و پروتکل‌های ارتباطی می‌پردازد. هدف آن ارائه وضعیت هنر در تئوری، کاربرد، ابزار و صنعتی سازی FDTها است. از جمله ویژگی های مهم ارائه شده عبارتند از:

  • مهندسی سیستم و پروتکل مبتنی بر FDT.
  • کاربرد FDT برای سیستم های توزیع شده.
  • مهندسی پروتکل؛
  • تجربه عملی و مطالعات موردی.

روش‌های رسمی برای مهندسی پروتکل و سیستم‌های توزیع شده حاوی مجموعه مقالات کنفرانس بین‌المللی مشترک رسمی است. شرح تکنیک‌های سیستم‌های توزیع‌شده و پروتکل‌های ارتباطی و مشخصات پروتکل، آزمایش و تأیید، که توسط فدراسیون بین‌المللی پردازش اطلاعات (IFIP) حمایت مالی شد و در اکتبر 1999 در پکن، چین برگزار شد.
این جلد مناسب است. به عنوان یک متن ثانویه برای دوره تحصیلات تکمیلی در مورد سیستم های توزیع شده یا ارتباطات، و به عنوان مرجع برای محققان و دست اندرکاران صنعت.

توضیحاتی درمورد کتاب به خارجی

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are:

  • FDT-based system and protocol engineering;
  • FDT application to distributed systems;
  • Protocol engineeering;
  • Practical experience and case studies.

Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999.
This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.


فهرست مطالب

Front Matter....Pages i-xii
Front Matter....Pages 1-1
Confirming configurations in EFSM....Pages 5-24
Remote testing can be as powerful as local testing....Pages 25-40
Hit-or-Jump: An Algorithm for Embedded Testing with Applications to in Services....Pages 41-56
Scalable and Object Oriented SDL State(chart)s....Pages 59-73
Prototyping Framework for SDL with Evolving Semantics....Pages 75-94
Framework for Automatic SDL to C++ Translation....Pages 95-115
Stress Testing of Distributed Multimedia Software Systems....Pages 119-133
Fair Testing Through Probabilistic Testing....Pages 135-150
A Formal Approach to Conformance Testing of Distributed Routing Protocols....Pages 151-163
Front Matter....Pages 165-165
Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering....Pages 169-184
A Graphical Parallel Composition Operator for Process Algebras....Pages 185-202
Guaranteeing Liveness in an Object Calculus Through Behavioral Typing....Pages 203-221
Black Box Checking....Pages 225-240
An Optimizing Compiler for Efficient Model Checking....Pages 241-256
Exploiting Symmetry When Model-Checking Software....Pages 257-275
User-Friendly Verification....Pages 279-294
Specification and Verification of Synchronous Hardware using LOTOS....Pages 295-312
Provably Correct Hardware Compilation Using Timing Diagrams....Pages 313-331
Front Matter....Pages 333-333
An enhanced model for testing asynchronous communicating systems....Pages 337-356
Interoperability Test Suite Derivation for the TCP....Pages 357-376
Front Matter....Pages 333-333
Coverage Analysis for Embedded Testing and an Application....Pages 377-386
A Formal Description Technology: Graphical E-LOTOS....Pages 389-400
Global Timed Bisimulation: An Introduction....Pages 401-416
Protocol Synthesis for Real-Time Applications....Pages 417-433
Verifying an infinite family of inductions simultaneously using data independence and FDR....Pages 437-452
Specification and execution of tests using tMsc....Pages 453-468
Model-Checking a Secure Group Communication Protocol: A Case Study....Pages 469-478
Software Model Checking....Pages 481-497
Back Matter....Pages 499-499




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد