Yutaka Inamori
According to our database1,
Yutaka Inamori
authored at least 3 papers
between 2002 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2002
2004
2006
2008
2010
2012
2014
2016
2018
2020
0
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT.
J. Inf. Process., 2020
2016
Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2016
2002
Method and Tool for Design Process Navigation and Automatic Generation of Simulation Models for Manufacturing Systems.
Proceedings of the Knowledge and Skill Chains in Engineering and Manufacturing, 2002