CARMA Eclipse plug-in: A tool supporting design and analysis of Collective Adaptive Systems

Search results

• Finished

  QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)

  Hillston, J. & Gilmore, S.

  EU government bodies

  1/04/13 → 31/03/17

  Project: Research

  • Models 100%
  • Adaptive System 42%
  • Model Checking 28%
  • Process Algebra 27%
  • Model 23%