Applying a Model Checker to Check Regulatory Compliance of Use Case Models.

Motoshi Saeki, Haruhiko Kaiya, Satoshi Hattori

Browse the full CaiSE paper archive.