Kazuo Yanoo is an author at NEC (Japan) specializing in systems engineering, computer engineering, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceSoftware TestingFormal VerificationSystems EngineeringComputer EngineeringReliability EngineeringProgram AnalysisSoftware Analysis
Publications per year
2011–2013
5
5
Automatic Synthesis of Static Fault Trees from System Models
Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno et al. · 2011 · 48 citations
Evaluation of IT systems considering characteristics as system of systems
Daichi Kimura, Takao Osaki, Kazuo Yanoo et al. · 2011 · 14 citations
A Static Analysis of Dynamic Fault Trees with Priority-AND Gates
Jianwen Xiang, Fumio Machida, Kotaro Tadano et al. · 2013 · 13 citations
Efficient Analysis of Fault Trees with Voting Gates
Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno et al. · 2011 · 11 citations
Rows per page
1–5 of 5