Amine Raji, Philippe Dhaussy, Benoît Baudry. Formal Extension of Use Cases for Context-Aware Verification.
MoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand.
⟨hal-00635555⟩