Edinburgh Research Explorer

Modelling movement for collective adaptive systems with CARMA

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Modelling movement for collective adaptive systems with CARMA. / Zon, Natalia; Galpin, Vashti; Gilmore, Stephen.

Formal methods for the quantitative Evaluation of Collective Adaptive Systems Satellite Workshop of STAF 2016. 2016. p. 43-52.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Zon, N, Galpin, V & Gilmore, S 2016, Modelling movement for collective adaptive systems with CARMA. in Formal methods for the quantitative Evaluation of Collective Adaptive Systems Satellite Workshop of STAF 2016. pp. 43-52, Formal methods for the quantitative Evaluation of Collective Adaptive Systems Satellite Workshop, Vienna, Austria, 4/07/18. https://doi.org/10.4204/EPTCS.217.6

APA

Zon, N., Galpin, V., & Gilmore, S. (2016). Modelling movement for collective adaptive systems with CARMA. In Formal methods for the quantitative Evaluation of Collective Adaptive Systems Satellite Workshop of STAF 2016 (pp. 43-52) https://doi.org/10.4204/EPTCS.217.6

Vancouver

Zon N, Galpin V, Gilmore S. Modelling movement for collective adaptive systems with CARMA. In Formal methods for the quantitative Evaluation of Collective Adaptive Systems Satellite Workshop of STAF 2016. 2016. p. 43-52 https://doi.org/10.4204/EPTCS.217.6

Author

Zon, Natalia ; Galpin, Vashti ; Gilmore, Stephen. / Modelling movement for collective adaptive systems with CARMA. Formal methods for the quantitative Evaluation of Collective Adaptive Systems Satellite Workshop of STAF 2016. 2016. pp. 43-52