The following pages link to OCRA (Q5972831):
Displayed 7 items.
- Formal reliability analysis of redundancy architectures (Q667523) (← links)
- HRELTL: a temporal logic for hybrid systems (Q897648) (← links)
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts (Q1654563) (← links)
- Tightening the contract refinements of a system architecture (Q1654565) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- SMT-based satisfiability of first-order LTL with event freezing functions and metric operators (Q2182731) (← links)
- (Q3384172) (← links)