LTLで記述されるマニュアルに対するオートメーションサプライズの検出
LTLで記述されるマニュアルに対するオートメーションサプライズの検出
复制标题
对以 LTL 编写的手册进行自动化意外检测
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
足立 正和
中科院分区：
文献类型：
--
作者：
高橋 怜士;潮 俊光;足立 正和
DOI：
--
发表时间：
2004
期刊：
IEICE Transactions on Fundamentals E87-A・11
影响因子：
--
作者：
Shigemasa Takai;Ratnesh Kumar;Shigemasa Takai;Shigemasa Takai;Shigemasa Takai;Yoshitaka Ukawa
通讯作者：
Yoshitaka Ukawa
飞行员与自动驾驶仪交互：正式视角
DOI：
--
发表时间：
2000
期刊：
影响因子：
--
作者：
A. Degani;M. Heymann
通讯作者：
M. Heymann