The following pages link to Mario Gleirscher (Q1982647):
Displaying 5 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)
- IsaVODEs: Interactive verification of cyber-physical systems at scale (Q6653093) (← links)
