Show simple item record

Online Monitoring of Distributed Systems with a Five-Valued LTL

contributor authorMing Chai , Schlingloff, B.-H.
date accessioned2020-03-12T19:59:39Z
date available2020-03-12T19:59:39Z
date issued2014
identifier other6845025.pdf
identifier urihttps://libsearch.um.ac.ir:443/fum/handle/fum/997893?show=full
formatgeneral
languageEnglish
publisherIEEE
titleOnline Monitoring of Distributed Systems with a Five-Valued LTL
typeConference Paper
contenttypeMetadata Only
identifier padid8117926
subject keywordsnetwork coding
subject keywordsunderwater acoustic communication
subject keywordswireless channels
subject keywordsNATO Science and Technology Organization centre for maritime research and experimentation
subject keywordsSTO CMRE
subject keywordschannel throughput
subject keywordsdata loss
subject keywordsdynamic underwater acoustic channel
subject keywordsnetwork coding algorithm
subject keywordsunderwater communication channel
subject keywordswireless data transmissions
subject keywordsData communication
subject keywordsNetwork coding
subject keywordsRelays
subject keywordsSensors
subject keywordsThroughput
subject keywordsUnderwater acoustics
subject keywordsWireless sensor networks
subject keywordsnetwork coding
subject keywordsunderwater acoustic communications
subject keywordsunderwa
identifier doi10.1109/UComms.2014.7017136
journal titleultiple-Valued Logic (ISMVL), 2014 IEEE 44th International Symposium on
filesize293399
citations0


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record