Model Checking Process with Goal Oriented Requirements Analysis.

Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden

Browse the full APSEC paper archive.