池田瑞穂, 高田喜朗, 関浩之: "インタラクティブシステム設計法におけるタスク図の形式的意味定義と形式的検証への応用"コンピュータソフトウェア. Vol.19,No.2. 19-34 (2002)
池田瑞穂, 高田喜朗, 関浩之: "インタラクティブシステム設計法におけるタスク図の形式的意味定義と形式的検証への応用"コンピュータソフトウェア. Vol.19,No.2. 19-34 (2002)
复制标题
Mizuho Ikeda、Yoshiro Takada、Hiroyuki Seki：“交互式系统设计方法中任务图的形式语义定义及其在形式验证中的应用”计算机软件，第 19 卷，第 2. 19-34 期。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
