A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments.

Matteo Baldoni Cristina Baroglio Alberto Martelli Viviana Patti A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. 339-351 2006 conf/icsoc/2006 ICSOC http://dx.doi.org/10.1007/11948148_28 db/conf/icsoc/icsoc2006.html#BaldoniBMP06