Selamat: Binary and experiment data
datasetposted on 2021-12-23, 09:59 authored by Tian Huat Tan, Étienne André, Manman Chen, Jun SUNJun SUN, Yang Liu, Jin Song Dong
This is a tool developed based on the paper "Automated synthesis of local time requirement for service composition" published in Software and Systems Modeling in 2020.
Confidential or personally identifiable information
- I confirm that the uploaded data has no confidential or personally identifiable information.