L. DeLa Torre is an author at Honeywell (United States) specializing in formal methods, hardware security, and engineering.
Top concepts
EngineeringVerificationFormal MethodsFault ToleranceComputer ScienceProgram AnalysisSignal IntegritySoftware TestingHardware SecuritySoftware Analysis
Publications per year
2002–2002
1
1
Rows per page
1–1 of 1