Cooperative Validation in Distributed Control Systems Design.

Dariusz Choinski, Mieczyslaw Metzger, Witold Nocon, Grzegorz Polakw

Browse the full CDVE paper archive.