دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers
دانلود کتاب مدل سازی رسمی و تجزیه و تحلیل سیستم های به موقع: اولین کارگاه بین المللی ، FORMATS 2003 ، مارسی ، فرانسه ، 6-7 سپتامبر ، 2003. مقالات اصلاح شده
مشخصات کتاب
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers
دسته بندی: ستاره شناسی ویرایش: 1 نویسندگان: Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.) سری: Lecture Notes in Computer Science 2791 ISBN (شابک) : 3540216715, 9783540216711 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 285 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 55,000
کلمات کلیدی مربوط به کتاب مدل سازی رسمی و تجزیه و تحلیل سیستم های به موقع: اولین کارگاه بین المللی ، FORMATS 2003 ، مارسی ، فرانسه ، 6-7 سپتامبر ، 2003. مقالات اصلاح شده: منطق و معانی برنامه‌ها، مهندسی نرم‌افزار، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، سیستم‌های مبتنی بر هدف خاص و برنامه‌نویسی
در صورت تبدیل فایل کتاب Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل سازی رسمی و تجزیه و تحلیل سیستم های به موقع: اولین کارگاه بین المللی ، FORMATS 2003 ، مارسی ، فرانسه ، 6-7 سپتامبر ، 2003. مقالات اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل سازی رسمی و تجزیه و تحلیل سیستم های به موقع: اولین کارگاه بین المللی ، FORMATS 2003 ، مارسی ، فرانسه ، 6-7 سپتامبر ، 2003. مقالات اصلاح شده
این کتاب اولین کارگاه بین‌المللی مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، FORMATS 2003، که در سپتامبر 2003 در مارسی، فرانسه برگزار شد، با داوری کامل است.
19 مقالات کامل اصلاح شده همراه با یک مقاله دعوت شده و چکیده دو گفتگوی دعوت شده با دقت از بین 36 مورد ارسالی طی دو دور بررسی و بهبود انتخاب شدند. تمام جنبه های فعلی روش رسمی برای مدل سازی و تجزیه و تحلیل سیستم های زمان بندی شده پرداخته شده است. از جمله سیستم‌های زمان‌دار می‌توان به خودکارهای زمان‌دار، شبکه‌های پتری زمان‌دار، جبرهای حداکثر پلاس، سیستم‌های بی‌درنگ، سیستم‌های زمان گسسته، زبان‌های زمان‌دار و سیستم‌عامل‌های بی‌درنگ اشاره کرد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003.
The 19 revised full papers presented together with an invited paper and the abstracts of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing timed systems are addressed; among the timed systems dealt with are timed automata, timed Petri nets, max-plus algebras, real-time systems, discrete time systems, timed languages, and real-time operating systems.
فهرست مطالب
Front Matter....Pages -
Timed Automata and Timed Languages Challenges and Open Problems....Pages 1-1
Towards Efficient Partition Refinement for Checking Reachability in Timed Automata....Pages 2-17
Checking ACTL * Properties of Discrete Timed Automata via Bounded Model Checking....Pages 18-33
Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently....Pages 34-45
Adding Symmetry Reduction to Uppaal ....Pages 46-59
TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems....Pages 60-72
Optimization of Timed Automata Models Using Mixed-Integer Programming....Pages 73-87
Discrete-Time Rewards Model-Checked....Pages 88-104
Performance Analysis of Probabilistic Timed Automata Using Digital Clocks....Pages 105-120
An Interval-Based Algebra for Restricted Event Detection....Pages 121-133
PARS: A Process Algebra with Resources and Schedulers....Pages 134-150
Formal Semantics of Hybrid Chi....Pages 151-165
Run-Time Guarantees for Real-Time Systems....Pages 166-167
A Nonarchimedian Discretization for Timed Languages....Pages 168-181
Folk Theorems on the Determinization and Minimization of Timed Automata....Pages 182-188
Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking....Pages 189-203
On Timing Analysis of Combinational Circuits....Pages 204-218
Analysis of Real Time Operating System Based Applications....Pages 219-233
Time-Optimal Test Cases for Real-Time Systems....Pages 234-245
Using Zone Graph Method for Computing the State Space of a Time Petri Net....Pages 246-259
Causal Time Calculus....Pages 260-272
ELSE : A New Symbolic State Generator for Timed Automata....Pages 273-280
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Pathways to Exploration: Rationales and Approaches for a U.S. Program of Human Space Exploration
دانلود کتاب The Geology of the Terrestrial Planets
دانلود کتاب Space A Visual Encyclopedia
دانلود کتاب Ponomariov Against the Marshall Attack: Sometimes You Win, Sometimes You Draw: New in Chess Yearbook
دانلود کتاب Elementos de Astronomia de Posicion
دانلود کتاب Moon
دانلود کتاب Molecular astrophysics
