AMT: A Runtime Verification Tool of Video Streams.

Valentin Besnard, Mathieu Huet, Stoyan Bivolarov, Nourredine Saadi, Guillaume Cornard

Browse the full RV paper archive.