A survey on Malaysian online shopping behavior in 2020 found that 38 percent of Malaysian respondents wanted to make online purchases during the Hari Raya sales of 2020. Hari Raya is the Malay term fo
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.
