John Joseph Chilenski is an author at Boeing (United States) specializing in automated reasoning, program analysis, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
1994–2002
3
3
Rows per page
1–3 of 3