Formal Methods: Foundations and Applications
25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings
كتاب من تأليف: Molnár, Vince ; Lima, Lucas ; نشر في: 2022
طبعة:
Cham:
Springer
لغة:
إنجليزية
الوصف المادي:
Données textuelles
ISBN: 9783031224768
الموضوع
الإعلام الآلي
الكلمات الدالة:
architecting
architecture verification and validation
Artificial intelligence
computer programming
computer hardware
formal languages
embedded systems
software architecture
model checking
mathematics
