Vegard Veiset

Learn More
TinyOS is a widely used platform for the development of net-worked embedded systems offering a programming model targeting resource constrained devices. We present a software engineering approach where Coloured Petri Net (CPNs) models are used as a starting point for developing protocol software for the TinyOS platform. The approach consists of five(More)
  • 1