1
Publications
137
Citations
1
H-Index
2002
Active since
Affiliations
Osaka University of Human Sciences(Current)
Isao ONISHI is an author at Osaka University of Human Sciences specializing in process control, program analysis, and formal methods.
Top concepts
AutomationEngineeringVerificationFormal MethodsProcess ControlComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2002–2002
1
1
Rows per page
1–1 of 1