Model checking process with goal oriented requirements analysis
Hideto Ogawa*, Fumihiro Kumeno, Shinichi Honiden
*この研究の対応する著者
研究成果: Conference article › 査読
2
被引用数
(Scopus)