المؤلفون: Biró, Csaba

المساهمون: Kozsik, Tamás, Kusper, Gábor

مصطلحات موضوعية: Műszaki tudományok/Informatikai tudományok, Wireless Sensor Networks, Formal methods, SAT, SMT, OMT, directed graph, Black-and- White 2-SAT, BaW 1.0, Puli, k-hop based environment, communication graph, communication redundancy, WCGD, RCGD, WRCGD, CGR, WCGR, Informatika D. I./Az informatika alapjai és módszerei, vezeték nélküli szenzorhálózatok, formális módszerek, irányított gráf, k-hop-os környezet, kommunikációs gráf, kommunikációs redundancia, gráf alapú metrikák

وصف الملف: application/pdf

Relation: http://hdl.handle.net/10831/44509; elte:10.15476/ELTE.2019.163; elte:30938086; https://opac.elte.hu/Record/opac-EUL01-984172; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/44509/1/BCs_PhD_diss_2019.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/44509/2/BCs_PhD_tezis_2019.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/44509/3/BCs_PhD_theses_2019.pdf

الاتاحة: http://hdl.handle.net/10831/44509
https://opac.elte.hu/Record/opac-EUL01-984172