Skip to content

Online inference and enforcement of temporal properties.

Mark Gabel, Zhendong Su

VenueA*ICSE
Year2010
ProceedingsICSE (1)

Browse the full ICSE paper archive.