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
[Citation relation:27163875]

Object type
Citation
Id
27163875
Status
Published
Published
Yes
Unhandled tickets
0
Old Timestamp
2018-02-17T10:45:04.000+0000
Deleted
No
Old Id
17163875
Last modified
2018-02-17T10:45:04.000+0000
Created
2017-08-29T11:33:33.000+0000
Admin approved at
2018-02-17T10:45:04.000+0000
Admin approved by
Krisztina Oszlánczi (EKE admin)
Publication
Tamás Bérczes et al. Analyzing a Proxy Cache Server Performance Model with the Probabilistic Model Checker PRISM. (2009) In: Proceedings of 5th Int’l Workshop on Automated Specification and Verification of Web Systems (WWV’09) pp. 37-52
Publication MTMT ID
1498511
Related
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
Citing publication MTMT ID
27163875
Source
kézi felvitel
External citation
Yes
External citation OK
Link
/api/citation/27163875
Label
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-09-18 09:25