Use Cases Modeling for Scalable Model-Checking.

Amine Raji, Philippe Dhaussy

Browse the full APSEC paper archive.