Online Monitoring of Distributed Systems with a Five-Valued LTL
نویسنده:
ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/UComms.2014.7017136
کلیدواژه(گان): network coding,underwater acoustic communication,wireless channels,NATO Science and Technology Organization centre for maritime research and experimentation,STO CMRE,channel throughput,data loss,dynamic underwater acoustic channel,network coding algorithm,underwater communication channel,wireless data transmissions,Data communication,Network coding,Relays,Sensors,Throughput,Underwater acoustics,Wireless sensor networks,network coding,underwater acoustic communications,underwa
کالکشن
:
-
آمار بازدید
Online Monitoring of Distributed Systems with a Five-Valued LTL
Show full item record
| contributor author | Ming Chai , Schlingloff, B.-H. | |
| date accessioned | 2020-03-12T19:59:39Z | |
| date available | 2020-03-12T19:59:39Z | |
| date issued | 2014 | |
| identifier other | 6845025.pdf | |
| identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/997893 | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Online Monitoring of Distributed Systems with a Five-Valued LTL | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8117926 | |
| subject keywords | network coding | |
| subject keywords | underwater acoustic communication | |
| subject keywords | wireless channels | |
| subject keywords | NATO Science and Technology Organization centre for maritime research and experimentation | |
| subject keywords | STO CMRE | |
| subject keywords | channel throughput | |
| subject keywords | data loss | |
| subject keywords | dynamic underwater acoustic channel | |
| subject keywords | network coding algorithm | |
| subject keywords | underwater communication channel | |
| subject keywords | wireless data transmissions | |
| subject keywords | Data communication | |
| subject keywords | Network coding | |
| subject keywords | Relays | |
| subject keywords | Sensors | |
| subject keywords | Throughput | |
| subject keywords | Underwater acoustics | |
| subject keywords | Wireless sensor networks | |
| subject keywords | network coding | |
| subject keywords | underwater acoustic communications | |
| subject keywords | underwa | |
| identifier doi | 10.1109/UComms.2014.7017136 | |
| journal title | ultiple-Valued Logic (ISMVL), 2014 IEEE 44th International Symposium on | |
| filesize | 293399 | |
| citations | 0 |