دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings
دانلود کتاب تکنیک های رسمی در سیستم های بی درنگ و تحمل خطا: 5مین سمپوزیوم بین المللی ، FTRTFT’98 Lyngby ، دانمارک ، مجموعه مقالات 14 تا 18 سپتامبر
مشخصات کتاب
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings
ویرایش: 1 نویسندگان: John C. Knight (auth.), Anders P. Ravn, Hans Rischel (eds.) سری: Lecture Notes in Computer Science 1486 ISBN (شابک) : 9783540650034, 9783540497929 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1998 تعداد صفحات: 345 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 87,000
کلمات کلیدی مربوط به کتاب تکنیک های رسمی در سیستم های بی درنگ و تحمل خطا: 5مین سمپوزیوم بین المللی ، FTRTFT’98 Lyngby ، دانمارک ، مجموعه مقالات 14 تا 18 سپتامبر: زبانهای برنامهنویسی، کامپایلرها، مترجمان، منطقها و معانی برنامهها، معماری پردازندهها، سیستمهای مبتنی بر هدف و کاربرد خاص، سیستمهای عامل
در صورت تبدیل فایل کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی در سیستم های بی درنگ و تحمل خطا: 5مین سمپوزیوم بین المللی ، FTRTFT’98 Lyngby ، دانمارک ، مجموعه مقالات 14 تا 18 سپتامبر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های رسمی در سیستم های بی درنگ و تحمل خطا: 5مین سمپوزیوم بین المللی ، FTRTFT’98 Lyngby ، دانمارک ، مجموعه مقالات 14 تا 18 سپتامبر
این کتاب مجموعه مقالات داوری پنجمین سمپوزیوم بینالمللی
تکنیکهای رسمی در سیستمهای بیدرنگ و تحملپذیر خطا،
FTRTFT'98 است که در لینگبی، دانمارک، در سپتامبر 1998 برگزار
شد.
22 مقاله کامل اصلاحشده ارائه شده است. برای گنجاندن در کتاب
به دقت انتخاب و بررسی شدند. همچنین شامل چهار مشارکت دعوت شده
و پنج نمایش ابزار است. این مقالات به جنبههای فعلی موضوع داغ
سیستمهای تعبیهشده، بهویژه منطق زمانی، مهندسی نیازمندیها،
تکنیکهای تحلیل، تأیید، بررسی مدل، و برنامهها میپردازند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 5th
International Symposium on Formal Techniques in Real-Time and
Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark,
in September 1998.
The 22 revised full papers presented were carefully selected
and reviewed for inclusion in the book. Also included are
four invited contributions and five tool demonstrations. The
papers address the current aspects of the hot topic of
embedded systems, in particular temporal logic, requirements
engineering, analysis techniques, verification, model
checking, and applications.
فهرست مطالب
Challenges in the utilization of formal methods....Pages 1-17
On the need for practical formal methods....Pages 18-26
A general framework for the composition of timed systems....Pages 27-28
Operational and logical semantics for polling real-time systems....Pages 29-40
A finite-domain semantics for testing temporal logic specifications....Pages 41-54
Duration Calculus of Weakly Monotonic Time....Pages 55-64
Reuse in requirements engineering: Discovery and application of a real-time requirement pattern....Pages 65-74
A modular visual model for hybrid systems....Pages 75-91
Integrating real-time structured design and formal techniques....Pages 92-102
Duration Calculus in the specification of safety requirements....Pages 103-112
Automated stream-based analysis of fault-tolerance....Pages 113-122
Designing a provably correct robt control system using a ‘lean’ formal method....Pages 123-132
Static analysis to identify invariants in RSML specifications....Pages 133-142
Partition refinement in real-time model checking....Pages 143-157
Formal verification of stabilizing systems....Pages 158-172
Synchronizing clocked transition systems....Pages 173-185
Some decidability results for duration calculus under synchronous interpretation....Pages 186-197
Fair synchronous transition systems and their liveness proofs....Pages 198-209
Dynamical properties of timed automata....Pages 210-227
An algorithm for the approximative analysis of rectangular automata....Pages 228-240
On checking parallel real-time systems for linear duration properties....Pages 241-250
A practical and complete algorithm for testing real-time systems....Pages 251-261
Mechanical verification of clock synchronization algorithms....Pages 262-271
Compiling graphical real-time specifications into silicon....Pages 272-281
Towards a formal semantics of verilog using duration calculus....Pages 282-293
The ICOS synthesis environment....Pages 294-297
Kronos: A model-checking tool for real-time systems....Pages 298-302
SGLOT: A visual tool for structural LOTOS specifications....Pages 303-306
Discrete-time Promela and Spin....Pages 307-310
Moby/PLC — Graphical development of PLC-automata....Pages 311-314
Predictability in critical systems....Pages 315-338
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Ceramic Lasers
دانلود کتاب Analytical Dynamics: Theory and Applications
دانلود کتاب Politics as Text and Talk: Analytic Approaches to Political Discourse
