@inproceedings{icspcs16,
  TITLE = {{Wireless Sensor Network Protocol Property Validation through the System's Simulation in a Dedicated Framework}},
  AUTHOR = {Barnes, Calypso and Verdier, Fran{\c c}ois and Gaff{\'e}, Daniel and Cottin, Jean-Marie},
  URL = {https://hal.archives-ouvertes.fr/hal-01435477},
  HOWPUBLISHED = {{International Conferences on Signal Processing and Communication Systems (ICSPCS)}},
  PAGES = {1-9},
  YEAR = {2016},
  MONTH = Dec,
  keywords={binary codes;protocols;telecommunication computing;wireless sensor networks;QEMU wrapper;SystemC;TLMu;binary code;hardware platform model;high-abstraction level node model;node precise hardware platform;observer module;protocol implementation;system simulation;wireless sensor network protocol property validation;Adaptation models;Binary codes;Clocks;Hardware;Protocols;Synchronization;Wireless sensor networks;Co-Simulation;Embedded Software;Network Simulation;Protocol Verification;Protocol property modeling;Wireless Sensor Networks},
  doi={10.1109/ICSPCS.2016.7843355}, 
  HAL_ID = {hal-01435477},
  HAL_VERSION = {v1},
}