Model-based validation of CANopen systems.

Alexios Lekidis, Marius Bozga, Saddek Bensalem

Browse the full WFCS paper archive.