Please use this identifier to cite or link to this item:https://hdl.handle.net/20.500.12259/57414
Type of publication: Straipsnis kituose recenzuojamuose leidiniuose / Article in other peer-reviewed editions (S5)
Field of Science: Informatika / Informatics (N009)
Author(s): Man, Ka Lok;Krilavičius, Tomas;Vallee, Thierry;Leung, H.L
Title: TEPAWSN: A formal analysis tool for wireless sensor networks
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
Extent: p. 24-26
Date: 2010
Keywords: PAWSN;TEPAWSN;WSNs
Abstract: 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
Internet: http://scholarlyexchange.org/ojs/index.php/IJRRCS/article/view/5665/3931
Affiliation(s): Informatikos fakultetas
Taikomosios informatikos katedra
Vytauto Didžiojo universitetas
Appears in Collections:Universiteto mokslo publikacijos / University Research Publications

Files in This Item:
marc.xml6.46 kBXMLView/Open

MARC21 XML metadata

Show full item record
Export via OAI-PMH Interface in XML Formats
Export to Other Non-XML Formats

Page view(s)

146
checked on Mar 30, 2020

Download(s)

12
checked on Mar 30, 2020

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.