AC-contract: Run-time verification of context-aware applications
10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Seams 2015 - -2015Authors
Mongiello Marina, Pelliccione Patrizio, Sciancalepore Massimo
DOI
https://doi.org/10.1109/seams.2015.11BibTex references
@InProceedings{MPS15,
author = "Mongiello, Marina and Pelliccione, Patrizio and Sciancalepore, Massimo",
title = "AC-contract: Run-time verification of context-aware applications",
booktitle = "10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Seams 2015",
year = "2015",
url = "http://sisinflab.poliba.it/Publications/2015/MPS15"
}