Author Info
Name
Affiliation
Papers
HIDEAKI NISHIHARA
Research Center for Verification and Semantics National Institute of Advanced Industrial Science and Technology (AIST), Osaka, Japan
6
Collaborators
Citations 
PageRank 
15
10
2.37
Referers 
Referees 
References 
29
103
32
Search Limit
100103
Title
Citations
PageRank
Year
Assurance Carrying Code for Software Supply Chain00.342021
A Comparative Study of JASO TP15002-Based Security Risk Assessment Methods for Connected Vehicle System Design.10.382019
Comparing Risk Identification In Hazard Analysis And Threat Analysis00.342018
Building a Body of Knowledge on Model Checking for Software Development40.472013
Model checking education for software engineers in Japan20.412009
Detecting mastication by using microwave Doppler sensor30.442008