Wireless protocol validation under uncertainty
type: Item
instance of: scholarly article
title: Wireless protocol validation under uncertainty
zbMATH Open document ID: 1394.68027
author: Jinghao Shi
author: Shuvendu K. Lahiri
author: Ranveer Chandra
author: Geoffrey Challen
published in: Formal Methods in System Design
publication date: 2018-08-30T00:00:00Z
Mathematics Subject Classification ID: 68M12
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6929613
zbMATH Keywords: runtime verification
zbMATH Keywords: wireless protocol
zbMATH Keywords: sniffer
zbMATH Keywords: uncertainty
describes a project that uses: ns-3
describes a project that uses: veriSoft
describes a project that uses: Angelic Verification
MaRDI profile type: Publication
full work available at URL: s10703-017-0309-4
OpenAlex ID: W4237398903
cites work: A theory of timed automata
cites work: Survey on Directed Model Checking
cites work: Quantitative monitoring of STL with edit distance
DOI: 10.1007/S10703-017-0309-4
description: scientific article; zbMATH DE number 6929613