Search Tags

International Journal Articles
ADISAK  INTANA

A. Intana, M. R. Poppleton, G. V. Merrett, “A formal co-simulation approach for wireless sensor network development”. Electronic Communications of the EASST, vol. 70, pp.1-15, 2014.

Link:    Month/Year: 5/2014

Tag: Formal Modelling and Analysis ,   Formal Methods ,   Wireless Sensor Networks ,   Co-simulation