Engineering of Computer-Based Systems
8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceeding
كتاب من تأليف: Margaria, Tiziana ; Seceleanu, Cristina ; Kofroň, Jan ; نشر في: 2023
طبعة:
Cham (Baviere):
Springer
لغة:
إنجليزية
الوصف المادي:
1 vol. (XI, 300p.) ill.
ISBN: 9783031492525
الفهرس العشري
006.3 .الذكاء الاصطناعي (يعمل بشكل عام على الذكاء الاصطناعي والعلوم المعرفية ، والاعتراف من أشكال كأداة الذكاء الاصطناعي ، أنظمة السؤال والجواب)
الموضوع
الإعلام الآلي
الكلمات الدالة:
Artificial intelligence
Embedded and cyber-physical systems
safety
Model verification and validation
Real-time system specification
security
model checking
