The following pages link to Fevzi Belli (Q1742377):
Displaying 21 items.
- (Q1188892) (redirect page) (← links)
- Fault-tolerant distributed computing (Q1188893) (← links)
- A compositional framework for fault tolerance by specification transformation (Q1330423) (← links)
- A trace-based compositional proof theory for fault tolerant distributed systems (Q1330425) (← links)
- A semantic characterization for faults in replicated systems (Q1330427) (← links)
- Improved approximation algorithms for capacitated fault-tolerant \(k\)-center (Q1742378) (← links)
- (Q2772665) (← links)
- Test Prioritization at Different Modeling Levels (Q3079793) (← links)
- Model-Based Higher-Order Mutation Analysis (Q3079800) (← links)
- Fault-tolerant programs and their reliability (Q3493217) (← links)
- (Q3735049) (← links)
- (Q3996206) (← links)
- (Q3997214) (← links)
- (Q3997216) (← links)
- (Q4040015) (← links)
- (Q4040364) (← links)
- (Q4692464) (← links)
- (Q5146517) (← links)
- Using Regular Grammars for Event-Based Testing (Q5327482) (← links)
- (Q5389126) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709971) (← links)
