Refinement and Verification for IoT Service Composition.

Sarah Hussein Toman, Lazhar Hamel, Mohamed Graiet

Browse the full ISCC paper archive.