Amine Raji, Philippe Dhaussy. Improving formal verification practicability through user oriented models and context-awareness. In Stephan Weißleder, Levi Lúcio, Harald Cichos, Frédéric Fondement, editors, Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, Wellington, New Zealand, October 17, 2011. ACM, 2011. [doi]
Abstract is missing.