دانلود کتاب Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings (به فارسی: مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: ششمین کنفرانس بین المللی، FORMATS 2008، سنت مالو، فرانسه، 15-17 سپتامبر 2008. مجموعه مقالات) نوشته شده توسط «Joël Ouaknine – James Worrell (auth.) – Franck Cassez – Claude Jard (eds.)»
اطلاعات کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: ششمین کنفرانس بین المللی، FORMATS 2008، سنت مالو، فرانسه، 15-17 سپتامبر 2008. مجموعه مقالات
موضوع اصلی: کامپیوتر – سخت افزار
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Joël Ouaknine – James Worrell (auth.) – Franck Cassez – Claude Jard (eds.)
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2008
تعداد صفحه: 295 / 304
حجم فایل: 3.83 مگابایت
کد کتاب: 354085777X , 9783540857778
نوبت چاپ: 1
توضیحات کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: ششمین کنفرانس بین المللی، FORMATS 2008، سنت مالو، فرانسه، 15-17 سپتامبر 2008. مجموعه مقالات
این کتاب مجموعه مقالات داوری ششمین کنفرانس بین‌المللی مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، FORMATS 2008، برگزار شده در سن مالو، فرانسه، سپتامبر 2008 است.
17 مقاله کامل اصلاح شده ارائه شده همراه با 3 سخنرانی دعوت شده به دقت بررسی و از بین 37 مورد ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی در زمینه گسترش خودکارهای زمان‌دار و معناشناسی سازماندهی شده‌اند. بازی های زمان بندی شده و منطق؛ مطالعات موردی؛ مدل بررسی سیستم های احتمالی؛ تایید و تست؛ شبکه های پتری زمان بندی شده.
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008.
The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.
