Vytautas Magnus University Research Management System (VDU CRIS)
 
Use this url to cite publication: https://hdl.handle.net/20.500.12259/57414

TEPAWSN: A formal analysis tool for wireless sensor networks

Type of publication
Straipsnis kitame recenzuojamame leidinyje / Article in other peer-reviewed edition (S5)
Author(s)
AuthorAffiliation
Man, Ka Lok
Title
TEPAWSN: A formal analysis tool for wireless sensor networks
[en]
Is part of
International journal of research and reviews in computer science. Kohat, Pakistan : Kohat University of Science and Technology, 2010, Vol. 1, no. 1
Date Issued
Date
2010
Publisher
Kohat, Pakistan : Kohat University of Science and Technology
Extent
p. 24-26
URI
URI
http://scholarlyexchange.org/ojs/index.php/IJRRCS/article/view/5665/3931
https://hdl.handle.net/20.500.12259/57414
Field of Science
Keywords (en)
Abstract (en)

Growing safety, correctness, reliability and performance requirements for Wireless Sensor Networks (WSN) have increased demand for advanced design and development techniques. Formal methods provide basic means to achieve these goals. We propose a formal language PAWSN and an umbrella tool environment TEPAWSN that combines different formal techniques for modeling, analysis and development of power aware WSNs.

Type of document
type::text::journal::journal article::research article
Language
Anglų / English (en)
Coverage Spatial
Pakistanas / Pakistan (PK)
ISSN (of the container)
2079-2557
Other Identifier(s)
VDU02-000010359