From Data to Events: Checking Properties on the Control of a System.

Christophe Jacquet, Frdric Boulanger, Dominique Marcadet

Browse the full MEMOCODE paper archive.