The following pages link to (Q3956373):
Displaying 4 items.
- Behavioral abstraction is hiding information (Q703529) (← links)
- A theory of software product line refinement (Q714875) (← links)
- Quantifying information leakage in process calculi (Q1023286) (← links)
- Formal models and analysis of secure multicast in wired and wireless networks (Q1040779) (← links)
