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