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

TatjanaKapus

English Scientific Article (Journal Article)
  • Szociológiai Tudományos Bizottság: B
  • SJR Scopus - Hardware and Architecture: Q1
Identifiers
Citation styles: IEEEACMAPAChicagoHarvardCSLCopyPrint
2021-03-08 18:13