Restricting DEv-PROMELA with a hierarchy of simulation formalisms.

Aznam Yacoub Maâmar El-Amine Hamri Claudia S. Frydman

Published in: SpringSim (TMS) (2017)

Keyphrases

knowledge representation
artificial intelligence
social networks
information systems
case study
simulation models
e learning
website
hierarchical structure
simulation model