Converting from service level agreement to probabilistic temporal logic specification
The need for conversion method exists due to the limitation of manual conversion at design time whenever the interested party must perform some assessments using an existing model checker tool. Manual conversion of the related requirements into the respective specification language is time-consuming...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Blue Eyes Intelligence Engineering and Sciences Publication
2019
|
| Subjects: | |
| Online Access: | View Fulltext in Publisher View in Scopus |