List of works
研究会・全国大会等
[1]
Naoyasu Ubayashi, "
Modular Programming and Reasoning for Deal- Ing with Uncertainty in Cps
," In NII Shonan Meeting on Architecture-Centric Modeling, Analysis, and Verification of Cyber-Physical Systems, 2015.