Formal Methods: Foundations and Applications
25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings
Livre Ecrit par: Molnár, Vince ; Lima, Lucas ; Publié en: 2022
Edition:
Cham:
Springer
Langue:
Anglais
Collation:
Données textuelles
ISBN: 9783031224768
Thème
Informatique
Mots clés:
architecting
architecture verification and validation
Artificial intelligence
computer programming
computer hardware
formal languages
embedded systems
software architecture
model checking
mathematics
