Reflecting on adaptive distributed monitoring

By Bill Donkervoet and Gul Agha. In Formal Methods for Components and Objects. 2007.

Full Text:

Download PDF

BibTeX

@inproceedings{fmco2007,
    author = "Donkervoet, Bill and Agha, Gul",
    title = "Reflecting on Adaptive Distributed Monitoring",
    booktitle = "Formal Methods for Components and Objects",
    keywords = "formal methods, programming languages",
    year = "2007",
}