{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T22:40:01Z","timestamp":1750804801335,"version":"3.41.0"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319661872"},{"type":"electronic","value":"9783319661889"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66188-9_21","type":"book-chapter","created":{"date-parts":[[2017,8,11]],"date-time":"2017-08-11T13:14:13Z","timestamp":1502457253000},"page":"240-246","source":"Crossref","is-referenced-by-count":2,"title":["Formal Test and Simulation Environment of Wireless Body Network"],"prefix":"10.1007","author":[{"given":"Khaldia","family":"Benahmed","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mostefa","family":"Belarbi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdelhamid","family":"Hariche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abou El Hassan","family":"Benyamina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,12]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Haymar, K., et al.: Self-organized mobility in nanosensor network based on particle swarm optimization and coverage criteria. In: Proceeding NCM08 Proceedings of the 2008 Fourth International Conference on Networked Computing and advanced Information Management, vol. 01, pp. 636\u2013641 (2008)","DOI":"10.1109\/NCM.2008.207"},{"key":"21_CR2","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s12243-011-0238-y","volume":"66","author":"P Ferrand","year":"2011","unstructured":"Ferrand, P., Maman, M., Goursaud, C., Gorce, J.-M., Ouvry, L.: Performance evaluation of direct and cooperative transmissions in body area networks. Ann. Telecommun. 66, 213\u2013228 (2011)","journal-title":"Ann. Telecommun."},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Islam, N., Misra, S.: Catastrophic collision in bio-nanosensor networks: does it really matter? In: 2013 IEEE 15th International Conference on e-Health Networking, Applications & Services (Healthcom), October 2013","DOI":"10.1109\/HealthCom.2013.6720703"},{"key":"21_CR4","unstructured":"Coussy, P., Baganne, A., Martin, E., Casseau, E.: Int\u00e9gration Optimis\u00e9e de Composants Virtuels orient\u00e9s TDSI par la Synth\u00e9se d\u2019Architecture Colloque sur le Traitement du Signal et de l\u2019Image (GRETSI) (2004)"},{"key":"21_CR5","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1186\/s13638-014-0235-8","volume":"2015","author":"M Sudjai","year":"2015","unstructured":"Sudjai, M., Tran, L.-C., Safaei, F.: Adaptive space-time-frequency-coded UWB system for wireless body area network. EURASIP J. Wireless Commun. Networking 2015, 36 (2015)","journal-title":"EURASIP J. Wireless Commun. Networking"},{"key":"21_CR6","unstructured":"Hariche, A., Belarbi, M.: Towards code generation of reconfigurable MPSoC network using vertex coloring algorithms. University of Oran, 28\u201329 Sepp. 2014. Journ\u00e9es syst\u00e9mes embarqu\u00e9es et parall\u00e9les (2014)"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Daoud, H., Tanougast, C., Belarbi, M.: Formal specification and verification of an architecture based wireless network oriented NoC. In: codit 2014, Metz-France (2014)","DOI":"10.1109\/CoDIT.2014.6996987"},{"key":"21_CR8","unstructured":"Hariche, A., Belarbi, M., Daoud, H.: Based B extraction of QNoC architecture properties. In: International Workshop on Mathematic and Computer Sciences, Tiaret, MOMAJ, vol. 2, issue 01, pp. 8\u201313, December 2012"},{"issue":"1","key":"21_CR9","doi-asserted-by":"crossref","first-page":"251","DOI":"10.2298\/CSIS130122007A","volume":"11","author":"M-B Andriamiarina","year":"2012","unstructured":"Andriamiarina, M.-B., M\u00e9ry, D., Singh, N.-K.: Revisiting snapshot algorithms by refinement- based techniques. Comput. Sci. Inf. Syst. 11(1), 251\u2013270 (2012)","journal-title":"Comput. Sci. Inf. Syst."},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Hariche, A., Belarbi, M., Daoud, H.: A new operators-based approach for the event-B refinement: QNoC case study. In: IEEE International Conference on Mechatronics IEEE ICM 2013, Beirut, December 2013","DOI":"10.1109\/ICM.2013.6735001"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Hariche, A., Belarbi, M., Chouarfia, A.: Embedded systems design using event-B theories. Int. J. Comput. Digital Syst. 5(2), March 2016. http:\/\/dx.doi.org\/10.12785\/ijcds\/050207","DOI":"10.12785\/ijcds\/050207"},{"key":"21_CR12","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-1-4419-0673-1_2","volume-title":"New Directions in Wireless Communications Research","author":"N Marchetti","year":"2009","unstructured":"Marchetti, N., Rahman, M.I., Kumar, S., Prasad, R.: OFDM: principles and challenges. In: Tarokh, V. (ed.) New Directions in Wireless Communications Research, pp. 29\u201362. Springer, Boston (2009). doi: 10.1007\/978-1-4419-0673-1_2"}],"container-title":["Lecture Notes in Computer Science","Enhanced Quality of Life and Smart Living"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66188-9_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T21:58:54Z","timestamp":1750802334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66188-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661872","9783319661889"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66188-9_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}