Computer Aided Verification
34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I
كتاب من تأليف: Shoham, Sharon ; Vizel, Yakir ; نشر في: 2022
طبعة:
Cham (Bavière, Allemagne):
Springer
لغة:
إنجليزية
الوصف المادي:
1 Vol. (XIX, 555) ill.
ISBN: 9783031131851
الموضوع
الإعلام الآلي
الكلمات الدالة:
embedded systems
Distributed systems
architecting
architecture verification and validation
computer programming
Artificial intelligence
Computer sciences
Computer systems
distributed computer systems
