活动简介

The purpose of this symposium is to provide a forum to discuss recent advancements in M&S theory. The main  focus is on 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. 

征稿信息

重要日期

2016-10-15
摘要截稿日期
2016-10-30
摘要录用日期
2016-12-15
初稿截稿日期
2017-01-31
初稿录用日期
2017-02-20
终稿截稿日期

征稿范围

Topics of interest include (but are not limited to): 

 Theory 
  o Advances in Modeling Formalisms (DEVS,
   Petri nets, Statecharts, etc.)
  o Model Transformation
  o Model Checking and Verification
  o Formalism-Based Model Debugging
 Modular Approaches to M&S 
  o Model Composition
  o Co-simulation
  o Interoperability
  o Modular Modeling of Hybrid Systems
  o Modular Modeling of Spatially Distributed
  Systems
  o Modular Representation of Numerical
  Solvers 

 Complex Systems M&S 
 o Multi-Paradigm/Multi-Domain Modeling
  o Multi-Resolution/Multiscale Modeling
  o Cyber-Physical Systems M&S
  o Ultra Large Scale Systems M&S
  o Systems of Systems M&S
 M&S Technologies 
  o Parallel/Distributed/Cloud-Based Simulation
  o Real-Time and Interactive Simulation
  o M&S of Embedded Systems 
 M&S Tools and Standards 
  o Simulation Languages/Libraries
  o Simulation Development/Visualization Tools
  o M&S Repositories/Data Formats

留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    04月23日

    2017

    04月26日

    2017

  • 10月15日 2016

    摘要截稿日期

  • 10月30日 2016

    摘要录用通知日期

  • 12月15日 2016

    初稿截稿日期

  • 01月31日 2017

    初稿录用通知日期

  • 02月20日 2017

    终稿截稿日期

  • 04月26日 2017

    注册截止日期

历届会议
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询