دانلود کتاب Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings (به فارسی: مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: دهمین کنفرانس بین المللی، FORMATS 2012، لندن، انگلستان، 18-20 سپتامبر 2012. مجموعه مقالات) نوشته شده توسط «Twan Basten – Martijn Hendriks – Lou Somers – Nikola Trčka (auth.) – Marcin Jurdziński – Dejan Ničković (eds.)»
اطلاعات کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: دهمین کنفرانس بین المللی، FORMATS 2012، لندن، انگلستان، 18-20 سپتامبر 2012. مجموعه مقالات
موضوع اصلی: کامپیوتر – برنامه نویسی
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Twan Basten – Martijn Hendriks – Lou Somers – Nikola Trčka (auth.) – Marcin Jurdziński – Dejan Ničković (eds.)
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2012
تعداد صفحه: 267 / 276
حجم فایل: 3.85 مگابایت
کد کتاب: 3642333656 , 9783642333651
نوبت چاپ: 1
توضیحات کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: دهمین کنفرانس بین المللی، FORMATS 2012، لندن، انگلستان، 18-20 سپتامبر 2012. مجموعه مقالات
این کتاب مجموعه مقالات داوری دهمین کنفرانس بین‌المللی مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، FORMATS 2012، که در سپتامبر 2012 در لندن، انگلستان برگزار شد، تشکیل شده است. از بین 34 ارسال انتخاب شده است. این کتاب موضوعات مبانی و معناشناسی، روش‌ها و ابزارها، تکنیک‌ها، الگوریتم‌ها، اتوماتای ترکیبی، برنامه‌ها، نرم‌افزارهای بلادرنگ و مدارهای سخت‌افزاری را پوشش می‌دهد.
This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The book covers topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits.
