دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings
دانلود کتاب روشهای رسمی برای سیستم های زمان واقعی و احتمالی: 5 کارگاه بین المللی AMAST ، ARTS 99 Bamberg ، آلمان ، 26 تا 28 مه 1999 مجموعه مقالات
مشخصات کتاب
Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings
ویرایش: 1 نویسندگان: Bengt Jonsson, Wang Yi (auth.), Joost-Pieter Katoen (eds.) سری: Lecture Notes in Computer Science 1601 ISBN (شابک) : 9783540660101, 9783540487784 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1999 تعداد صفحات: 363 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 85,000
در صورت تبدیل فایل کتاب Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی برای سیستم های زمان واقعی و احتمالی: 5 کارگاه بین المللی AMAST ، ARTS 99 Bamberg ، آلمان ، 26 تا 28 مه 1999 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی برای سیستم های زمان واقعی و احتمالی: 5 کارگاه بین المللی AMAST ، ARTS 99 Bamberg ، آلمان ، 26 تا 28 مه 1999 مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین کارگاه بینالمللی AMAST در
روشهای رسمی برای سیستمهای زمان واقعی و احتمالاتی، ARTS '99
است که در بامبرگ، آلمان در ماه مه 1999 برگزار شد.
17 مقاله کامل اصلاحشده همراه با سه مشارکت دعوتشده ارائه شد.
از بین 33 مورد ارسالی به دقت بررسی و انتخاب شدند. مقالات در
بخشهای موضوعی در مورد تأیید سیستمهای احتمالی، بررسی مدل برای
سیستمهای احتمالی، معناشناسی محاسبات فرآیند احتمالی، معناشناسی
فرآیندهای بیدرنگ، تدوین زمان واقعی، جبر فرآیند تصادفی، و
مدلسازی و تأیید سیستمهای زمان واقعی سازماندهی شدهاند. .
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Fifth
International AMAST Workshop on Formal Methods for Real-Time
and Probabilistic Systems, ARTS '99, held in Bamberg, Germany
in May 1999.
The 17 revised full papers presented together with three
invited contributions were carefully reviewed and selected from
33 submissions. The papers are organized in topical sections on
verification of probabilistic systems, model checking for
probabilistic systems, semantics of probabilistic process
calculi, semantics of real-time processes, real-time
compilation, stochastic process algebra, and modeling and
verification of real-time systems.
فهرست مطالب
Fully Abstract Characterization of Probabilistic May Testing....Pages 1-18
Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms....Pages 19-33
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems....Pages 34-52
Root Contention in IEEE 1394....Pages 53-74
Automatic Verification of Real-Time Systems with Discrete Probability Distributions....Pages 75-95
ProbVerus: Probabilistic Symbolic Model Checking....Pages 96-110
Process Algebra with Probabilistic Choice....Pages 111-129
An Axiomatization of Probabilistic Testing....Pages 130-150
Verification of Hybrid Systems....Pages 151-151
A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics....Pages 152-171
Comparing the Efficiency of Asynchronous Systems....Pages 172-191
A Formal Model of Real-Time Program Compilation....Pages 192-210
Specifying Performance Measures for PEPA....Pages 211-227
Semi-numerical Solution of Stochastic Process Algebra Models....Pages 228-243
Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation....Pages 244-264
Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach....Pages 265-276
Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal ....Pages 277-298
Verifying Progress in Timed Systems....Pages 299-314
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover....Pages 315-333
Modelling Timeouts without Timelocks....Pages 334-353
