Takashi Hoshino is an author at NTT (Japan) specializing in engineering, computer engineering, and formal verification.
Top concepts
EngineeringComputer EngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
1983–2020
10
10
Natascia Marino, Joshua W. Collins, Changyu Shen et al. · Clinical & Experimental Metastasis · 2014 · 43 citations · Full text
Systems Biology, Breast Oncology, Metastasis Suppressor Genes +9
Rows per page
1–5 of 10