Paper from: Schamai, Wladimir

Title: Model-based Requirement Verification : A Case Study
Authors: Feng Liang, Wladimir Schamai, Olena Rogovchenko, Sara Sadeghi, Nyberg Mattias and Peter Fritzson
Abstract
Full Paper