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
Livre Ecrit par: Rosu, Grigore ; Fisman, Dana ; Publié en: 2022
Edition:
Cham:
Springer International Publishing
Langue:
Anglais
Collation:
Données textuelles
ISBN: 9783030995270
Thème
Informatique
Mots clés:
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
