TEPAWSN: A formal analysis tool for wireless sensor networks

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 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

MARC21 XML metadata

Show full item record

144

checked on Mar 5, 2020

12

checked on Mar 5, 2020

Check