Verifying policy enforcers. Riganelli, O., Micucci, D., Mariani, L., & Falcone, Y. In Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings 17, pages 241–258, 2017. Springer International Publishing.
bibtex   
@inproceedings{riganelli2017verifying,
  title={Verifying policy enforcers},
  author={Riganelli, Oliviero and Micucci, Daniela and Mariani, Leonardo and Falcone, Yli{\`e}s},
  booktitle={Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings 17},
  pages={241--258},
  year={2017},
  organization={Springer International Publishing}
}

Downloads: 0