ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب 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

مشخصات کتاب

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

دسته بندی: ستاره شناسی
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 2791 
ISBN (شابک) : 3540216715, 9783540216711 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2004 
تعداد صفحات: 285 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

قیمت کتاب (تومان) : 30,000



کلمات کلیدی مربوط به کتاب مدل سازی رسمی و تجزیه و تحلیل سیستم های به موقع: اولین کارگاه بین المللی ، FORMATS 2003 ، مارسی ، فرانسه ، 6-7 سپتامبر ، 2003. مقالات اصلاح شده: منطق و معانی برنامه‌ها، مهندسی نرم‌افزار، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، سیستم‌های مبتنی بر هدف خاص و برنامه‌نویسی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 18


در صورت تبدیل فایل کتاب 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 -




نظرات کاربران