A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments.

Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti

Browse the full ICSOC paper archive.