Verification-enabling interaction model for services in smart space: a TAIS case.

Andrew Ponomarev, Vladimir Parfenov

Browse the full FRUCT paper archive.