Projects

Archived publication

Archived publication

Modelling of Biomedical Sensor Networks using the Creol Tools

Pdf-icon 5042/Leister_-_Modelling_of_Biomedical_Sensor_Networks_using_the.pdf

Leister, Wolfgang; Liang, Xuedong; Klüppelholz, Sascha; Klein, Joachim; Owe, Olaf; Kazemeyni, Fatemeh; Bjørk, Joakim; Østvold, Bjarte M.

July 31, 2009

DART

  • Filename: 5042/Leister_-_Modelling_of_Biomedical_Sensor_Networks_using_the.pdf
  • Target groups:
  • Areas: Formal Methods, M3C
  • Keywords: Creol, formal methods, modelling, biomedical sensor networks
  • Page(s): 37
  • Name and number of project: CREDO 33826
  • Title: Modelling of Biomedical Sensor Networks using the Creol Tools
  • Author(s): Leister, Wolfgang; Liang, Xuedong; Klüppelholz, Sascha; Klein, Joachim; Owe, Olaf; Kazemeyni, Fatemeh; Bjørk, Joakim; Østvold, Bjarte M.
  • ISBN: 978-82-539-0532-7
  • Report number: 1022
  • Published date: July 31, 2009
  • URL: http://publications.nr.no/5042/Leister_-_Modelling_of_Biomedical_Sensor_Networks_using_the.pdf
  • DOI: