دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: ستاره شناسی ویرایش: 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 مگابایت
کلمات کلیدی مربوط به کتاب مدل سازی رسمی و تجزیه و تحلیل سیستم های به موقع: اولین کارگاه بین المللی ، 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، که در سپتامبر 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 -