Archived publication

Archived publication

Validation of Creol Models for Routing Algorithms in Wireless Sensor Networks

Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf; Griesmayer, Andreas

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: