دانلود کتاب 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. مقالات تجدید نظر شده) نوشته شده توسط «Eugene Asarin (auth.) – Kim Guldstrand Larsen – Peter Niebert (eds.)»
اطلاعات کتاب مدلسازی رسمی و تحلیل سیستم های زمان بندی شده: اولین کارگاه بین المللی، FORMATS 2003، مارسی، فرانسه، 6-7 سپتامبر 2003. مقالات تجدید نظر شده
موضوع اصلی: کامپیوتر – علوم کامپیوتر
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Eugene Asarin (auth.) – Kim Guldstrand Larsen – Peter Niebert (eds.)
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 281 / 285
حجم فایل: 3.62 مگابایت
کد کتاب: 3540216715 , 9783540216711
نوبت چاپ: 1
توضیحات کتاب مدلسازی رسمی و تحلیل سیستم های زمان بندی شده: اولین کارگاه بین المللی، FORMATS 2003، مارسی، فرانسه، 6-7 سپتامبر 2003. مقالات تجدید نظر شده
این کتاب اولین کارگاه بین‌المللی مدلسازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، FORMATS 2003، که در سپتامبر 2003 در مارسی، فرانسه برگزار شد، با داوری کامل است. p> 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.
