Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters

Simple item page
dc.contributor.authorSu, Guoxin
dc.contributor.authorFeng, Yuan
dc.contributor.authorChen, Taolue
dc.contributor.authorRosenblum, David S.
dc.date.accessioned2022-10-24T09:20:52Z
dc.date.available2022-10-24T09:20:52Z
dc.date.issued2016
dc.description623-639 p. ; 855ko.en_US
dc.identifier.urihttp://repository.usthb.dz//xmlui/handle/123456789/9240
dc.language.isoenen_US
dc.publisherInstitute of electrical and electronics engineersen_US
dc.relation.ispartofseriesInstitute of electrical and electronics engineers;vol.42-2016
dc.subjectGénie logicielen_US
dc.subjectSystèmes auto-adaptatifsen_US
dc.subjectAnalyse des perturbations : RCMCen_US
dc.subjectChaîne de Markov en temps discreen_US
dc.subjectChaîne de Markov paramétriqueen_US
dc.subjectProgrammation quadratiqueen_US
dc.titleAsymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parametersen_US
dc.typeArticleen_US

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
nl3296.pdf
Size:
854.97 KB
Format:
Adobe Portable Document Format
Description:
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Articles Électroniques