Using PRISM model checker as a validation tool for an analytical model of IEEE 802.15.4 networks

TatjanaKapus

English Scientific Article (Journal Article)
Published: SIMULATION MODELLING PRACTICE AND THEORY 1569-190X 77 pp. 367-378 2017
  • Szociológiai Tudományos Bizottság: B
  • SJR Scopus - Hardware and Architecture: Q1
Identifiers
Citing (1)
Citation styles: IEEEACMAPAChicagoHarvardCSLCopyPrint
2021-03-08 18:13