Pages that link to "Item:Q1708268"
From MaRDI portal
The following pages link to Unifying theories of time with generalised reactive processes (Q1708268):
Displayed 4 items.
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← links)
- Integration of formal proof into unified assurance cases with Isabelle/SACM (Q2065527) (← links)
- A Unary Semigroup Trace Algebra (Q5098727) (← links)