Model checking process with goal oriented requirements analysis

Hideto Ogawa*, Fumihiro Kumeno, Shinichi Honiden

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review

2 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Model checking process with goal oriented requirements analysis'. Together they form a unique fingerprint.

Medicine & Life Sciences