ترجمه فارسی توضیحات (ترجمه ماشینی)
Reliable Software Technologies – Ada-Europe 2008: سیزدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، ونیز، ایتالیا، 16-20 ژوئن 2008. مجموعه مقالات
این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بین‌المللی فناوری‌های نرم‌افزار قابل اعتماد، Ada-Europe 2008، برگزار شده در ونیز، ایتالیا، در ژوئن 2008 است.
20 مقاله کامل اصلاح شده ارائه شده است. به دقت بررسی و از بین ارسال های متعدد انتخاب شدند. مجموعه مقالات کنفرانس منتشر شده در این جلد موضوعاتی را شامل می‌شود که از تأیید رسمی تا سیستم‌های بلادرنگ از طریق همزمانی، سیستم‌های جاسازی شده، فناوری‌های زبان، مهندسی مدل محور و کاربردهای شبکه‌های پتری را شامل می‌شود.
This book constitutes the refereed proceedings of the 13th International Conference on Reliable Software Technologies, Ada-Europe 2008, held in Venice, Italy, in June 2008.
The 20 revised full papers presented were carefully reviewed and selected from numerous submissions. The conference proceedings published in this volume cover topics ranging from formal verification to real-time systems via concurrency, embedded systems, language technologies, model-driven engineering and applications of Petri Nets.
نقد و بررسی‌ها
هیچ دیدگاهی برای این محصول نوشته نشده است.