Concepedia

David Drackley

DD

Statistics

Publications

1

Citations

36

H-Index

1

Active since

1991

Affiliations

Laboratoire d'Analyse et d'Architecture des Systèmes(Current)

David Drackley is an author at Laboratoire d'Analyse et d'Architecture des Systèmes specializing in computer engineering, formal verification, and stability.

Top concepts

StabilityEngineeringReliabilityVerificationFormal MethodsFault ToleranceComputer ScienceHardware SystemsFormal VerificationSystems Engineering

Publications per year

1991–1991

1

Publications

1

Fault-tolerance in Delta-4

David Powell, Marc Chérèque, David Drackley · ACM SIGOPS Operating Systems Review · 1991 · 36 citations

Engineering, Verification, Computer Architecture +19

1–1 of 1