AC-Contract: Run-Time Verification of Context-Aware Applications

Marina Mongiello, Patrizio Pelliccione, Massimo Sciancalepore. AC-Contract: Run-Time Verification of Context-Aware Applications. In 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015, Florence, Italy, May 18-19, 2015. pages 24-34, IEEE, 2015. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.