دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings
دانلود کتاب مدل سازی رسمی و تجزیه و تحلیل سیستم های زمان بندی شده: 12th International Conference، FORMATS 2014، فلورانس، ایتالیا، 8 تا 10 سپتامبر 2014. مقالات
مشخصات کتاب
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings
ویرایش: 1
نویسندگان: Axel Legay. Marius Bozga (eds.)
سری: Lecture Notes in Computer Science 8711 Theoretical Computer Science and General Issues
ISBN (شابک) : 9783319105116, 9783319105123
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 261
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 40,000
کلمات کلیدی مربوط به کتاب مدل سازی رسمی و تجزیه و تحلیل سیستم های زمان بندی شده: 12th International Conference، FORMATS 2014، فلورانس، ایتالیا، 8 تا 10 سپتامبر 2014. مقالات: محاسبات توسط دستگاه های انتزاعی، منطق و معانی برنامه ها، مهندسی نرم افزار، برنامه های کاربردی کامپیوتر
در صورت تبدیل فایل کتاب Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل سازی رسمی و تجزیه و تحلیل سیستم های زمان بندی شده: 12th International Conference، FORMATS 2014، فلورانس، ایتالیا، 8 تا 10 سپتامبر 2014. مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل سازی رسمی و تجزیه و تحلیل سیستم های زمان بندی شده: 12th International Conference، FORMATS 2014، فلورانس، ایتالیا، 8 تا 10 سپتامبر 2014. مقالات
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین‌المللی
مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، FORMATS 2014،
که در شهر فلورانس، ایتالیا، در سپتامبر 2014 برگزار شد را
تشکیل می‌دهد.
17 مقاله کامل اصلاح‌شده ارائه‌شده با دقت بررسی و انتخاب شدند.
از 36 ارسال این مقالات موضوعات مبانی و معناشناسی را پوشش می
دهد. مقایسه بین مدل‌های مختلف، مانند اتوماتای زمان‌دار،
شبکه‌های پتری زمان‌دار، اتوماتای ترکیبی، جبر فرآیند
زمان‌دار، جبر حداکثر به علاوه، مدل‌های احتمالی. روش ها و
ابزارهایی برای تجزیه و تحلیل سیستم های زمان بندی شده و رفع
محدودیت های زمانی؛ برنامه های کاربردی در نرم افزار بلادرنگ،
مدارهای سخت افزاری و مشکلات زمان بندی در تولید و مخابرات.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 12th
International Conference on Formal Modeling and Analysis of
Timed Systems, FORMATS 2014, held in Florence, Italy, in
September 2014.
The 17 revised full papers presented were carefully reviewed
and selected from 36 submissions. The papers cover topics of
foundations and semantics; comparison between different
models, such as timed automata, timed Petri nets, hybrid
automata, timed process algebra, max-plus algebra,
probabilistic models; methods and tools for analyzing timed
systems and resolving temporal constraints; applications in
real-time software, hardware circuits, and problems of
scheduling in manufacturing and telecommunication.
فهرست مطالب
Front Matter....Pages -
The Modeling and Analysis of Mixed-Criticality Systems....Pages 1-6
Modeling Bitcoin Contracts by Timed Automata....Pages 7-22
Data-Driven Statistical Learning of Temporal Logic Properties....Pages 23-37
Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices....Pages 38-52
Delay-Dependent Partial Order Reduction Technique for Time Petri Nets....Pages 53-68
On MITL and Alternating Timed Automata over Infinite Words....Pages 69-84
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications....Pages 85-99
Verification and Performance Evaluation of Timed Game Strategies....Pages 100-114
The Power of Proofs: New Algorithms for Timed Automata Model Checking....Pages 115-129
Anonymized Reachability of Hybrid Automata Networks....Pages 130-145
Combined Global and Local Search for the Falsification of Hybrid Systems....Pages 146-160
Weak Singular Hybrid Automata....Pages 161-175
Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata....Pages 176-190
Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints....Pages 191-205
Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction....Pages 206-221
Timed Pattern Matching....Pages 222-236
Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets....Pages 237-251
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Primary Care Medicine: Office Evaluation and Management of the Adult Patient
دانلود کتاب Enterprise Architecture for Digital Business: Transforming IT
دانلود کتاب Learning Disabilities and Related Disabilities: Strategies for Success [HTML]
دانلود کتاب Four Great American Classics (The Scarlet Letter, The Adventures of Huckleberry Finn, The Red Badge of Courage, Billy Budd, Sailor, and Other Stories)
