Selamat: Binary and experiment data
dataset
posted on 2021-12-23, 09:59 authored by Tian Huat Tan, Étienne André, Manman Chen, Jun SUNJun SUN, Yang Liu, Jin Song DongThis 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.