Design and verification of mechatronic object-oriented models for industrial control systems.

Marcello Bonf, Cesare Fantuzzi

Browse the full ETFA paper archive.