Engineering of Computer-Based Systems
8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceeding
Livre Ecrit par: Margaria, Tiziana ; Seceleanu, Cristina ; Kofroň, Jan ; Publié en: 2023
Edition:
Cham (Baviere):
Springer
Langue:
Anglais
Collation:
1 vol. (XI, 300p.) ill.
ISBN: 9783031492525
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
Embedded and cyber-physical systems
safety
Model verification and validation
Real-time system specification
security
model checking
