Proceedings First Workshop on Logics and Model-checking for Self-* Systems
Logic in Computer Science
2014-11-14 v1 Formal Languages and Automata Theory
Multiagent Systems
Abstract
This volume contains the proceedings of the First Workshop on Logics and Model-checking for self-* systems (MOD* 2014). The worshop took place in Bertinoro, Italy, on 12th of September 2014, and was a satellite event of iFM 2014 (the 11th International Conference on Integrated Formal Methods). The workshop focuses on demonstrating the applicability of Formal Methods on modern complex systems with a high degree of self-adaptivity and reconfigurability, by bringing together researchers and practitioners with the goal of pushing forward the state of the art on logics and model checking.
Keywords
Cite
@article{arxiv.1411.3453,
title = {Proceedings First Workshop on Logics and Model-checking for Self-* Systems},
author = {Marcello Maria Bersani and Davide Bresolin and Luca Ferrucci and Manuel Mazzara},
journal= {arXiv preprint arXiv:1411.3453},
year = {2014}
}