A state-based model of sensor protocols
type: Item
instance of: scholarly article
title: A state-based model of sensor protocols
zbMATH Open document ID: 1253.68054
author: Mohamed G. Gouda
author: Young-Ri Choi
published in: Theoretical Computer Science
publication date: 2012-11-08T00:00:00Z
Mathematics Subject Classification ID: 68M12
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6103614
zbMATH Keywords: sensor network
zbMATH Keywords: state-based model
zbMATH Keywords: formal model
zbMATH Keywords: protocol specification
zbMATH Keywords: protocol verification and analysis
zbMATH Keywords: self-stabilization
describes a project that uses: TAG
describes a project that uses: PRISM
MaRDI profile type: Publication
full work available at URL: j.tcs.2012.08.013
OpenAlex ID: W2013737236
cites work: Q4457211
cites work: Principles of Distributed Systems
cites work: Distributed Computing - IWDC 2003
cites work: Algorithmic Aspects of Wireless Sensor Networks
cites work: Formal Techniques for Networked and Distributed Systems – FORTE 2004
cites work: Synthesis of interface specifications for Java classes
cites work: Mining specifications
cites work: Self-stabilization
DOI: 10.1016/J.TCS.2012.08.013
description: scientific article; zbMATH DE number 6103614