2014 Symposium on Theory of Modeling and Simulation (TMS 2014)

The purpose of this symposium is to provide a forum to discuss recent advancements in M&S theory. The main focus is on theory of modeling, methodology, practice and software to cope with the challenges arising out of these, as well as lessons learned and challenges. The Symposium bridges different areas in the field of Theory of M&S, including formal modeling, model-checking, graph transformation, modeling methodologies.