Proceedings First Workshop on Logics and Model-checking for Self-* Systems

    m bersani
    m bersani
    luca ferrucci
    luca ferrucci
    manuel mazzara
    manuel mazzara

    Electronic Proceedings in Theoretical Computer Science, 2014.

    Cited by: 0|Bibtex|Views0|Links

    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 a...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments