James D. O'Grady is an author at Alcatel Lucent (Germany) specializing in formal methods, computer engineering, and system software.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
2002–2002
1
1
Rows per page
1–1 of 1