研究会・全国大会等
[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.