|
| | | | |
| | | |
| Stat |
Members: 3645
Articles: 2'500'096
Articles rated: 2609
18 April 2024 |
|
| | | | |
|
Article overview
| |
|
|
Proceedings First Workshop on Logics and Model-checking for Self-* Systems | | Marcello Maria Bersani
; Davide Bresolin
; Luca Ferrucci
; Manuel Mazzara
; | | Date: |
13 Nov 2014 | | 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. | | Source: | arXiv, 1411.3453 | | Services: | Forum | Review | PDF | Favorites | |
|
|
No review found.
Did you like this article?
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
browser claudebot
|
| |
|
|
|
|
News, job offers and information for researchers and scientists:
| |
REGISTER