Antonia Bertolino, Paola Inverardi, Valérie Issarny, Antonino Sabetta, Romina Spalazzese. On-the-fly Interoperability through Automated Mediator Synthesis and Monitoring?.
ISoLA 2010 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2010, Heraclion, Greece.
⟨inria-00536763⟩