An on-Line Model Verification System for Model-Based Control Algorithms.

Tomasz Klopot, Piotr Skupin, Witold Klopot, Piotr Gacki

Browse the full CDVE paper archive.