Computer Aided Verification
34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I
Livre Ecrit par: Shoham, Sharon ; Vizel, Yakir ; Publié en: 2022
Edition:
Cham (Bavière, Allemagne):
Springer
Langue:
Anglais
Collation:
1 Vol. (XIX, 555) ill.
ISBN: 9783031131851
Thème
Informatique
Mots clés:
embedded systems
Distributed systems
architecting
architecture verification and validation
computer programming
Artificial intelligence
Computer sciences
Computer systems
distributed computer systems
