TatjanaKapus. Using PRISM model checker as a validation tool for an analytical model of IEEE 802.15.4 networks. (2017) SIMULATION MODELLING PRACTICE AND THEORY 1569-190X 77 367-378
[Idézéskapcsolat:27163875]

Rekordtípus
Citation
MTMT azonosító
27163875
Státusz
Nyilvános
Nyilvános
Igen
Aktív cédulák
0
Régi időbélyeg
2018-02-17T10:45:04.000+0000
Törölt
Nem
Régi azonosító
17163875
Utolsó módosítás
2018-02-17T10:45:04.000+0000
Létrehozás dátuma
2017-08-29T11:33:33.000+0000
Láttamozva
2018-02-17T10:45:04.000+0000
Láttamozó
Oszlánczi Krisztina (EKE admin)
Közlemény
Tamás Bérczes et al. Analyzing a Proxy Cache Server Performance Model with the Probabilistic Model Checker PRISM. (2009) Megjelent: Proceedings of 5th Int’l Workshop on Automated Specification and Verification of Web Systems (WWV’09) pp. 37-52
Kapcsolódó cikk
TatjanaKapus. Using PRISM model checker as a validation tool for an analytical model of IEEE 802.15.4 networks. (2017) SIMULATION MODELLING PRACTICE AND THEORY 1569-190X 77 367-378
Idézőközlemény MTMT azonosítója
27163875
Eredet
kézi felvitel
Független
Igen
Független OK
Link
/api/citation/27163875
Címke
TatjanaKapus. Using PRISM model checker as a validation tool for an analytical model of IEEE 802.15.4 networks. (2017) SIMULATION MODELLING PRACTICE AND THEORY 1569-190X 77 367-378
2020-08-05 02:04