Public Professor Archive
長崎県立大学 · 情報システム学部 · 准教授
研究关键词システムアシュアランス・防災・数理論理学・形式手法・定理証明・地域防災計画
以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。
个性化匹配理由、联系角度与收藏保存需要登录后使用。
