Validating Industrial Requirements with a Contract-Based Approach.

Matthias Bernaerts, Bentley J. Oakes, Ken Vanherpen, Bjorn Aelvoet, Hans Vangheluwe, Joachim Denil

Browse the full MODELS paper archive.