A Contract-based Methodology for Production Lines Validation.

Roberta Chirico, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi

Browse the full INDIN paper archive.