Keyphrases
- simulation models
- simulation model
- agent based simulation
- simulation tools
- air cargo
- verification method
- model checking
- case study
- formal analysis
- decision trees
- neural network
- ambient intelligence
- mathematical model
- fault tolerant
- formal verification
- website
- asynchronous circuits
- artificial intelligence
- high security
- information retrieval