スポンサーリンク

the Department of Systems Innovation, Osaka University | 論文

• Formal Detection of Three Automation Surprises in Human-Machine Interaction(Concurrent Systems)(Concurrent Systems and Hybrid Systems)

スポンサーリンク