( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal modelling of a robust Wireless Sensor Network routing protocol.

, , , и . AHS, стр. 281-288. IEEE Computer Society, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Duane Henderson

Gemma Henderson

Neil Henderson

Joyce Henderson

Peter Henderson

 

Другие публикации лиц с тем же именем

Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter., , и . Real Time Syst., 20 (1): 5-25 (2001)Product form Equilibrium Distributions and a Convolution Algorithm for Stochastic Petri Nets., , и . Perform. Evaluation, 26 (3): 159-180 (1996)Designing and Implementing Correct Real-Time Systems., , , и . FTRTFT, том 863 из Lecture Notes in Computer Science, стр. 228-246. Springer, (1994)Morbidity and mortality following breast cancer surgery in women: national benchmarks for standards of care., , , , , и . Annals of surgery, (xx 05 2007)10.1097/01.sla.0000245833.48399.9a.Exact Results in the Aggregation and Disaggregation of Stochastic Petri Nets., и . PNPM, стр. 166-175. IEEE Computer Society, (1991)Validation, verification and implementation of timed protocols using AORTA., , , и . PSTV, том 38 из IFIP Conference Proceedings, стр. 205-220. Chapman & Hall, (1995)Coronary-Artery Revascularization before Elective Major Vascular Surgery, , , , , , , , , и 6 other автор(ы). The New England Journal of Medicine, (30.12.2004)10.1056/NEJMoa041905.Applying formal modelling to detect DoS attacks in wireless medium., , , и . CSNDSP, стр. 896-900. IEEE, (2010)A Formal Design and Implementation Method for Real-Time Embedded Systems., , , , и . EUROMICRO, стр. 77-. IEEE Computer Society, (1996)bCANDLE: Formal Modelling and Analysis of CAN Control Systems., , , и . IEEE Real Time Technology and Applications Symposium, стр. 171-177. IEEE Computer Society, (1998)