The following pages link to Christof Fetzer (Q666241):
Displaying 6 items.
- Extensible transactional memory testbed (Q666242) (← links)
- A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic (Q831915) (← links)
- Fail-awareness: An approach to construct fail-safe systems (Q1395694) (← links)
- The message classification model (Q2790110) (← links)
- Fail-awareness in timed asynchronous systems (Q2942743) (← links)
- Capacity planning for dependable services (Q6077062) (← links)