دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1st ed.]
نویسندگان: Nathalie Bertrand. Nils Jansen
سری: Lecture Notes in Computer Science 12288
ISBN (شابک) : 9783030576271, 9783030576288
ناشر: Springer International Publishing;Springer
سال نشر: 2020
تعداد صفحات: X, 301
[311]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 15 Mb
در صورت تبدیل فایل کتاب Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل سازی رسمی و تحلیل سیستم های بهنگام: هجدهمین کنفرانس بین المللی ، FORMATS 2020 ، وین ، اتریش ، 1 تا 3 سپتامبر ، 2020 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری هجدهمین کنفرانس بینالمللی
مدلسازی و تحلیل رسمی سیستمهای زمانبندی شده، FORMATS 2020،
برگزار شده در وین، اتریش، در سپتامبر 2020 است.
16 مقاله کامل و 2 مقاله کوتاه ارائه شده در این جلد به دقت
بررسی و از بین 42 مورد ارسالی انتخاب شد. این مقالات بر
موضوعاتی مانند مبانی و معناشناسی، روشها و ابزارها، تکنیکها،
الگوریتمها، ساختار دادهها و ابزارهای نرمافزاری برای تجزیه
و تحلیل سیستمهای زمانبندیشده و رفع محدودیتهای زمانی تمرکز
دارند.
با توجه به همهگیری کرونا، این کنفرانس برگزار شد. به عنوان یک رویداد مجازی.
This book constitutes the refereed proceedings of the 18th
International Conference on Formal Modeling and Analysis of
Timed Systems, FORMATS 2020, held in Vienna, Austria, in
September 2020.
The 16 full papers and 2 short papers presented in this
volume were carefully reviewed and selected from 42
submissions. The papers focus on topics such as foundations
and semantics, methods and tools, techniques, algorithms,
data structures, and software tools for analyzing timed
systems and resolving temporal constraints.
Due to the Corona pandemic this conference was held as a virtual event.