The following pages link to Mario Gleirscher (Q1982647):
Displaying 4 items.
- RiskStructures: a design algebra for risk-aware machines (Q1982648) (← links)
- Integration of formal proof into unified assurance cases with Isabelle/SACM (Q2065527) (← links)
- Specifying Properties of Dynamic Architectures Using Configuration Traces (Q3179403) (← links)
- On Activation, Connection, and Behavior in Dynamic Architectures (Q4621205) (← links)
