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

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

10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Seams 2015 - -2015

Authors

Mongiello Marina, Pelliccione Patrizio, Sciancalepore Massimo

DOI

https://doi.org/10.1109/seams.2015.11

BibTex 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"

}