Transactions on Petri Nets and Other Models of Concurrency XVI
Livre Ecrit par: Kordon, Fabrice ; Moldt, Daniel ; Koutny, Maciej ; Publié en: 2022
Edition:
Berlin:
Springer
Springer
Langue:
Anglais
Collation:
1 Vol. (XVII, 141p.) ill.
ISBN: 9783662653036
Thème
Informatique
Mots clés:
architecture verification and validation
Artificial intelligence
automata theory
computer programming
embedded systems
Graph theory
