Tools and Algorithms for the Construction and Analysis of Systems
28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
كتاب من تأليف: Rosu, Grigore ; Fisman, Dana ; نشر في: 2022
طبعة:
Cham:
Springer International Publishing
لغة:
إنجليزية
الوصف المادي:
Données textuelles
ISBN: 9783030995270
الموضوع
الإعلام الآلي
الكلمات الدالة:
embedded systems
formal languages and automata theory
Formal methods and theory of security
Machine learning
Modeling and simulation
Semantics and reasoning
software and hardware verification
