自然語要求仕様記述の形式検証に向けて - 話題沸騰ポットのモデル検査に向けて -
自然語要求仕様記述の形式検証に向けて - 話題沸騰ポットのモデル検査に向けて -
复制标题
迈向自然语言需求规范描述的形式化验证 - 迈向热点话题模型检查 -
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
遠藤健，小形真平，岡野浩三，関澤俊弦
中科院分区：
文献类型：
--
作者：
Yuta Ohwatari;Takahiro Kawamura;Yuichi Sei;Yasuyuki Tahara;and Akihiko Ohsuga;関澤俊弦，岡野浩三;遠藤健，小形真平，岡野浩三，関澤俊弦
