The following pages link to Hanne Riis Nielson (Q492909):
Displaying 7 items.
- A calculus of quality for robustness against unreliable communication (Q492911) (← links)
- Strictness and totality analysis (Q1818314) (← links)
- Factorization of behavioral integrity (Q2165462) (← links)
- What is a free name in a process algebra? (Q2379969) (← links)
- Safety versus Security in the Quality Calculus (Q2842642) (← links)
- XACML 3.0 in Answer Set Programming (Q2848900) (← links)
- Hoare Logic for Disjunctive Information Flow (Q3460862) (← links)