Transactions on Petri Nets and Other Models of Concurrency XVI
Mots clés
- software design
- architecture verification and validation
- artificial intelligence
- verification and validation
- verification
- software quality
- software engineering
- automata theory
- software architecture
- programming languages
- petri nets
- model checking
- graph theory
- formal logic
- embedded systems
- computer programming