Validated Simulation-Based Verification of Delayed Differential Dynamics.

Mingshuai Chen, Martin Frnzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan

Browse the full FM paper archive.