A Preliminary Formal Specification of Virtual Organization Creation with RAISE Specification Language.

Mohammad Reza Nami, Mohsen Sharifi, Abbas Malekpour

Browse the full SERA paper archive.