دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings
دانلود کتاب تکنیک های رسمی ، مدل سازی و تجزیه و تحلیل سیستم های به موقع و تحمل خطا: کنفرانس های مشترک بین المللی در مورد مدل سازی رسمی و تجزیه و تحلیل سیستم های به موقع ، FORMATS 2004 و تکنیک های رسمی در سیستم های تحمل پذیر در زمان واقعی و خطا ، FTRTFT 2004 ، گرنوبل ، فرانسه ، سپتامبر 22-24 ، 2004. مجموعه مقالات
مشخصات کتاب
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Paul Feautrier (auth.), Yassine Lakhnech, Sergio Yovine (eds.) سری: Lecture Notes in Computer Science 3253 ISBN (شابک) : 3540231676, 9783540302063 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 415 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 14 مگابایت
قیمت کتاب (تومان) : 51,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب تکنیک های رسمی ، مدل سازی و تجزیه و تحلیل سیستم های به موقع و تحمل خطا: کنفرانس های مشترک بین المللی در مورد مدل سازی رسمی و تجزیه و تحلیل سیستم های به موقع ، FORMATS 2004 و تکنیک های رسمی در سیستم های تحمل پذیر در زمان واقعی و خطا ، FTRTFT 2004 ، گرنوبل ، فرانسه ، سپتامبر 22-24 ، 2004. مجموعه مقالات: منطق و معانی برنامه‌ها، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، معماری‌های پردازشگر، سیستم‌های هدف خاص و مبتنی بر کاربرد، مهندسی نرم‌افزار، ساختارهای حافظه
در صورت تبدیل فایل کتاب Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی ، مدل سازی و تجزیه و تحلیل سیستم های به موقع و تحمل خطا: کنفرانس های مشترک بین المللی در مورد مدل سازی رسمی و تجزیه و تحلیل سیستم های به موقع ، FORMATS 2004 و تکنیک های رسمی در سیستم های تحمل پذیر در زمان واقعی و خطا ، FTRTFT 2004 ، گرنوبل ، فرانسه ، سپتامبر 22-24 ، 2004. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های رسمی ، مدل سازی و تجزیه و تحلیل سیستم های به موقع و تحمل خطا: کنفرانس های مشترک بین المللی در مورد مدل سازی رسمی و تجزیه و تحلیل سیستم های به موقع ، FORMATS 2004 و تکنیک های رسمی در سیستم های تحمل پذیر در زمان واقعی و خطا ، FTRTFT 2004 ، گرنوبل ، فرانسه ، سپتامبر 22-24 ، 2004. مجموعه مقالات
این کتاب مجموعه مقالات داوری کنفرانس های بین المللی مشترک مدل سازی و تحلیل رسمی سیستم های زمان بندی شده، فرمت های 2004، و تکنیک های رسمی در سیستم های بلادرنگ و تحمل خطا، FTRTFT 2004 است که در گرنوبل، فرانسه، در سپتامبر 2004 برگزار شد. .
24 مقاله کامل اصلاح شده ارائه شده همراه با چکیده 2 سخنرانی دعوت شده با دقت بررسی و از بین 70 مورد ارسالی انتخاب شدند. از جمله موضوعات پرداخته شده عبارتند از تأیید رسمی، سیستم های رای گیری، مشخصات رسمی، سیستم های اتوماسیون قابل اعتماد، بررسی مدل، اتومات های زمان بندی شده، تست بلادرنگ، پروتکل های تحمل خطا، تحمل خطا ایمن، زمان بندی بلادرنگ، بررسی رضایت مندی، مدل نمادین چک کردن، سیستم های ترکیبی تصادفی، شبکه های پتری زمان بندی شده، و خودکارهای ثبت رویداد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the joint International Conferences Formal Modeling and Analysis of Timed Systems, FORMATS 2004, and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, held in Grenoble, France, in September 2004.
The 24 revised full papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from 70 submissions. Among the topics addressed are formal verification, voting systems, formal specification, dependable automation systems, model checking, timed automata, real-time testing, fault-tolerance protocols, fail-safe fault tolerance, real-time scheduling, satisfiability checking, symbolic model checking, stochastic hybrid systems, timed Petri nets, and event recording automata.
فهرست مطالب
Front Matter....Pages -
From Software to Hardware and Back....Pages 1-2
Of Elections and Electrons....Pages 3-4
Formal Verification of an Avionics Sensor Voter Using SCADE....Pages 5-20
Mixed Delay and Threshold Voters in Critical Real-Time Systems....Pages 21-35
Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems....Pages 36-51
On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies....Pages 52-67
On Timed Automata with Input-Determined Guards....Pages 68-83
Decomposing Verification of Timed I/O Automata....Pages 84-101
Symbolic Model Checking for Simply-Timed Systems....Pages 102-117
Robustness and Implementability of Timed Automata....Pages 118-133
Real-Time Testing with Timed Automata Testers and Coverage Criteria....Pages 134-151
Monitoring Temporal Properties of Continuous Signals....Pages 152-166
A Unified Fault-Tolerance Protocol....Pages 167-182
Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications....Pages 183-198
Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata....Pages 199-214
Static Fault-Tolerant Real-Time Scheduling with “Pseudo-topological” Orders....Pages 215-230
The Influence of Durational Actions on Time Equivalences....Pages 231-245
Bounded Model Checking for Region Automata....Pages 246-262
Some Progress in Satisfiability Checking for Difference Logic....Pages 263-276
Model-Checking for Weighted Timed Automata....Pages 277-292
Symbolic Model Checking for Probabilistic Timed Automata....Pages 293-308
Structured Modeling of Concurrent Stochastic Hybrid Systems....Pages 309-324
Computing Schedules for Multithreaded Real-Time Programs Using Geometry....Pages 325-342
Forward Reachability Analysis of Timed Petri Nets....Pages 343-362
Lazy Approximation for Dense Real-Time Systems....Pages 363-378
Learning of Event-Recording Automata....Pages 379-395
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Mechanics of the 21st century: proceedings of the 21st International Congress of Theoretical and Applied Mechanics, Warsaw, Poland, 15 - 21 August 2004
دانلود کتاب String Processing and Information Retrieval: 11th International Conference, SPIRE 2004, Padova, Italy, October 5-8, 2004. Proceedings
دانلود کتاب Computer music modeling and retrieval: International Symposium, CMMR 2003, Montpellier, France, May 26-27, 2003: revised papers
دانلود کتاب Foundations of Probability and Physics
دانلود کتاب Proceedings of the 19th Annual ACM-SIAM Symposium on Discrete Algorithms
دانلود کتاب Proceedings of the XXXI International Symposium on Multiparticle Dynamics: Datong, China, 1-7 September, 2001
دانلود کتاب Distributed Agent-Based Retrieval Tools: Proceedings of the 1st International Workshop
دانلود کتاب Proceedings of the Twenty-Third Annual Conference of the Cognitive Science Society
دانلود کتاب Smart Sensing and Context: Second European Conference, EuroSSC 2007, Kendal, England, October 23-25, 2007. Proceedings
