Technology Cooperative Runtime Monitoring of LTL Interface Contracts (EDOC 2010)

1. Cooperative Runtime Monitoring of LTL Interface ContractsSylvain HalléUniversité du Québec à Chicoutimi CANADA Fonds de recherchesur la natureet les technologies NSERCCRSNGSylvain…