Alessandro Aldini, Marco Bernardo. Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. In Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek, editors, Architecting Dependable Systems VI. Volume 5835 of Lecture Notes in Computer Science, pages 228-254, Springer, 2008. [doi]
@inproceedings{AldiniB08-0,
title = {Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems},
author = {Alessandro Aldini and Marco Bernardo},
year = {2008},
doi = {10.1007/978-3-642-10248-6_10},
url = {http://dx.doi.org/10.1007/978-3-642-10248-6_10},
tags = {rule-based, context-aware},
researchr = {https://researchr.org/publication/AldiniB08-0},
cites = {0},
citedby = {0},
pages = {228-254},
booktitle = {Architecting Dependable Systems VI},
editor = {Rogério de Lemos and Jean-Charles Fabre and Cristina Gacek and Fabio Gadducci and Maurice H. ter Beek},
volume = {5835},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-10247-9},
}