Model checking process with goal oriented requirements analysis

Hideto Ogawa*, Fumihiro Kumeno, Shinichi Honiden

*この研究の対応する著者

研究成果: Conference article査読

2 被引用数 (Scopus)

フィンガープリント

「Model checking process with goal oriented requirements analysis」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Medicine & Life Sciences