Leveraging Applications of Formal Methods, Verification and Validation. Practice
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV
Livre Ecrit par: Steffen, Bernhard ; Margaria, Tiziana ; Publié en: 2022
Edition:
Cham:
Springer
Langue:
Anglais
Collation:
Données textuelles
ISBN: 9783031197628
Index décimal
006.3 .Intelligence artificielle (ouvrages généraux sur l'intelligence artificielle et la science cognitive, reconnaissance de formes comme outil de l'intelligence artificielle, systèmes de questions et réponses)
Thème
Informatique
Mots clés:
Artificial intelligence
computer hardware
computer programming
digital signal processing
embedded systems
engineering
Field Programmable Gate Array (FPGA)
fuzzy sets
Graph theory
knowledge-based system
