Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems.

Alessandro Aldini, Marco Bernardo

Browse the full ICSE paper archive.