Archived publication
Archived publication
Validation of Creol Models for Routing Algorithms in Wireless Sensor Networks
5232/Leister_-_Validation_of_Creol_Models_for_Routing_Algorithms.pdf
February 10, 2010
DART
- Filename: 5232/Leister_-_Validation_of_Creol_Models_for_Routing_Algorithms.pdf
- Target groups: researcher community
- Areas: formal methods, sensor networks
- Keywords: Creol, model checking, simulation, component testing, evaluation of properties
- Page(s): 23
- Name and number of project: CREDO 33826 / 320362
- Title: Validation of Creol Models for Routing Algorithms in Wireless Sensor Networks
- Author(s): Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf; Griesmayer, Andreas
- ISBN: 978-82-539-0534-1
- Report number: 1024
- Published date: February 10, 2010
- URL: http://publications.nr.no/5232/Leister_-_Validation_of_Creol_Models_for_Routing_Algorithms.pdf
- DOI: