Document - Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (Forecast)

2018

Contribution to journal Open Access

Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (Forecast)

Ter Beek M. H., Loreti M.

Modeling and Simulation system specification and verification Collective Adaptive Systems Computer Science Applications Formal methods

Source: ACM transactions on modeling and computer simulation 28 (2018): 8:1–8:4. doi:10.1145/3177772

Publisher: The Association,, New York, NY , Stati Uniti d'America

Metrics

Back to previous page

Cite as

BibTeX entry

@misc{oai:it.cnr:prodotti:384382,
	title = {Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (Forecast)},
	author = {Ter Beek M. H. and Loreti M.},
	publisher = {The Association,, New York, NY , Stati Uniti d'America},
	doi = {10.1145/3177772},
	year = {2018}
}