SMU Research Data Repository (RDR)
Browse
1/1
2 files

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 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.

History

Confidential or personally identifiable information

  • I confirm that the uploaded data has no confidential or personally identifiable information.

Usage metrics

    School of Computing and Information Systems

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC