A Contract-based Methodology for Production Lines Validation

Roberta Chirico, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi. A Contract-based Methodology for Production Lines Validation. In 17th IEEE International Conference on Industrial Informatics, INDIN 2019, Helsinki, Finland, July 22-25, 2019. pages 695-698, IEEE, 2019. [doi]

Authors

Roberta Chirico

This author has not been identified. Look up 'Roberta Chirico' in Google

Stefano Spellini

This author has not been identified. Look up 'Stefano Spellini' in Google

Marco Panato

This author has not been identified. Look up 'Marco Panato' in Google

Michele Lora

This author has not been identified. Look up 'Michele Lora' in Google

Franco Fummi

This author has not been identified. Look up 'Franco Fummi' in Google