Publication | Open Access

Writing and verifying interoperability requirements: Application to collaborative processes

EngineeringSystem SpecificationVerificationFormal MethodsSoftware AnalysisSoftware EngineeringSystems EngineeringProcess SpecificationResource InteroperabilityFormal VerificationSystem SoftwareSoftware DesignInteroperability Requirements