AC-contract: Run-time verification of context-aware applications

Marina Mongiello, Patrizio Pelliccione, Massimo Sciancalepore
10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Seams 2015 - 2015

BibTex references


@InProceedings{MPS15,
author = {Marina Mongiello and Patrizio Pelliccione and Massimo Sciancalepore},
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://www-ictserv.poliba.it/publications/2015/MPS
15"
}

Other publications in the database

SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy