Matches in SemOpenAlex for { <https://semopenalex.org/work/W2398746543> ?p ?o ?g. }
- W2398746543 abstract "This work covers the application of formal methods to the world of wireless sensor networks. Mainly two different perspectives are analyzed through mathematical models which can be distinct for example into qualitative statements like Is the system error free? From the perspective of quantitative propositions we investigate protocol optimal parameter settings for an energy efficient operation." @default.
- W2398746543 created "2016-06-24" @default.
- W2398746543 creator A5000420548 @default.
- W2398746543 date "2009-01-01" @default.
- W2398746543 modified "2023-09-26" @default.
- W2398746543 title "Applied Formal Methods in Wireless Sensor Networks" @default.
- W2398746543 cites W1489067204 @default.
- W2398746543 cites W1498125516 @default.
- W2398746543 cites W1498432697 @default.
- W2398746543 cites W1499514499 @default.
- W2398746543 cites W1509819701 @default.
- W2398746543 cites W1511174760 @default.
- W2398746543 cites W1516256348 @default.
- W2398746543 cites W1516849933 @default.
- W2398746543 cites W1518705996 @default.
- W2398746543 cites W1520219097 @default.
- W2398746543 cites W1537084112 @default.
- W2398746543 cites W1553511155 @default.
- W2398746543 cites W1554492130 @default.
- W2398746543 cites W1567579541 @default.
- W2398746543 cites W1577384748 @default.
- W2398746543 cites W1577404745 @default.
- W2398746543 cites W1586167239 @default.
- W2398746543 cites W1590315663 @default.
- W2398746543 cites W1590810061 @default.
- W2398746543 cites W1593428110 @default.
- W2398746543 cites W1596388494 @default.
- W2398746543 cites W160114447 @default.
- W2398746543 cites W1710734607 @default.
- W2398746543 cites W1782479956 @default.
- W2398746543 cites W1838282883 @default.
- W2398746543 cites W1936144616 @default.
- W2398746543 cites W1943502734 @default.
- W2398746543 cites W1959256509 @default.
- W2398746543 cites W1962072139 @default.
- W2398746543 cites W1985930873 @default.
- W2398746543 cites W1987734880 @default.
- W2398746543 cites W2000947342 @default.
- W2398746543 cites W2005998857 @default.
- W2398746543 cites W2010939995 @default.
- W2398746543 cites W2014550373 @default.
- W2398746543 cites W2026965951 @default.
- W2398746543 cites W2090181771 @default.
- W2398746543 cites W2092751564 @default.
- W2398746543 cites W2094160561 @default.
- W2398746543 cites W2099824516 @default.
- W2398746543 cites W2111236424 @default.
- W2398746543 cites W2119286561 @default.
- W2398746543 cites W2119407531 @default.
- W2398746543 cites W2120500293 @default.
- W2398746543 cites W2125489993 @default.
- W2398746543 cites W2128026023 @default.
- W2398746543 cites W2129538349 @default.
- W2398746543 cites W2130664212 @default.
- W2398746543 cites W2130773092 @default.
- W2398746543 cites W2134991157 @default.
- W2398746543 cites W2137013587 @default.
- W2398746543 cites W2141080699 @default.
- W2398746543 cites W2146066139 @default.
- W2398746543 cites W2146872103 @default.
- W2398746543 cites W2149453229 @default.
- W2398746543 cites W2149851479 @default.
- W2398746543 cites W2151238532 @default.
- W2398746543 cites W2153713154 @default.
- W2398746543 cites W2154721480 @default.
- W2398746543 cites W2156552445 @default.
- W2398746543 cites W2162338299 @default.
- W2398746543 cites W2170022946 @default.
- W2398746543 cites W2171427043 @default.
- W2398746543 cites W2171999426 @default.
- W2398746543 cites W2174684166 @default.
- W2398746543 cites W2184078222 @default.
- W2398746543 cites W2232887944 @default.
- W2398746543 cites W2281921305 @default.
- W2398746543 cites W2313750605 @default.
- W2398746543 cites W2396024437 @default.
- W2398746543 cites W2899511194 @default.
- W2398746543 cites W2899915163 @default.
- W2398746543 cites W2900154641 @default.
- W2398746543 cites W2912904668 @default.
- W2398746543 cites W3158754760 @default.
- W2398746543 cites W601745770 @default.
- W2398746543 cites W1500709428 @default.
- W2398746543 cites W1601373402 @default.
- W2398746543 cites W2136167463 @default.
- W2398746543 cites W2163160103 @default.
- W2398746543 cites W2526016007 @default.
- W2398746543 cites W2583833536 @default.
- W2398746543 cites W2589710341 @default.
- W2398746543 cites W2912446224 @default.
- W2398746543 cites W3023485956 @default.
- W2398746543 doi "https://doi.org/10.5445/ir/1000012355" @default.
- W2398746543 hasPublicationYear "2009" @default.
- W2398746543 type Work @default.
- W2398746543 sameAs 2398746543 @default.
- W2398746543 citedByCount "4" @default.
- W2398746543 countsByYear W23987465432012 @default.
- W2398746543 countsByYear W23987465432013 @default.
- W2398746543 countsByYear W23987465432020 @default.
- W2398746543 crossrefType "dissertation" @default.