Rigorous Graphical Modelling of Movement in Collective Adaptive Systems
暂无分享,去创建一个
[1] José Manuel Viegas,et al. A conceptual model for carpooling systems simulation , 2009 .
[2] Gilles Goncalves,et al. Retraction Note to: A Multi-agent Based Self-adaptive Genetic Algorithm for the Long-term Car Pooling Problem , 2015 .
[3] Davy Janssens,et al. Agent-based Simulation Model for Long-term Carpooling: Effect of Activity Planning Constraints , 2015, ANT/SEIT.
[4] Hai Yang,et al. Carpooling and congestion pricing in a multilane highway with high-occupancy-vehicle lanes , 1999 .
[5] Jane Hillston,et al. Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools , 2016, SFM.
[6] J. Proença,et al. Modelling ambulance deployment with CARMA , 2016 .
[7] Rocco De Nicola,et al. On the Power of Attribute-Based Communication , 2016, FORTE.
[8] Mieke Massink,et al. The SCEL Language: Design, Implementation, Verification , 2015, The ASCENS Approach.
[9] Jane Hillston,et al. CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems , 2016, QEST.
[10] Nora Koch,et al. Software Engineering for Collective Autonomic Systems , 2015, Lecture Notes in Computer Science.