Chappell is an author at Nokia (United States) specializing in reliability engineering, computer engineering, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsFault DiagnosisComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisDesign For TestingAutomated Reasoning
Publications per year
1978–1978
1
1
Deductive Fault Simulation with Functional Blocks
Menon, Chappell · IEEE Transactions on Computers · 1978 · 33 citations
Rows per page
1–1 of 1