Converting from Service Level Agreement to Probabilistic Temporal Logic Specification
Crossref DOI link: https://doi.org/10.35940/ijitee.J9736.0881019
Published Online: 2019-08-30
Update policy: https://doi.org/10.35940/beiesp.crossmarkpolicy
,
Madinah Ab Hadi, Nur Diana
Ismail, Azlan
Rosli, Nur Syazleen
Zambri, Suzana