Testing robustness of communicating systems using ioco-based approach.

Antoine Rollet, Sbastien Salva

Browse the full ISCC paper archive.