Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Przeglądasz jako GOŚĆ

Wyszukujesz frazę ""Zhang, Yuanrui"" wg kryterium: Autor


Tytuł :
A verification framework for spatio-temporal consistency language with CCSL as a specification language
Autorzy :
Zhang, Yuanrui
Mallet, Frédéric
Chen, Yixiang
Pokaż więcej
Temat :
High-level modelling language
Clock constraint specification
Model checking
Verification framework
Spatio-temporal consistency
Real-time systems
Spatio-temporal systems
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
Frontiers of Computer Science
Frontiers of Computer Science, Springer Verlag, 2019, 14 (1), pp.105--129. ⟨10.1007/s11704-018-7054-8⟩
Tytuł :
Investigation of secure wireless regions using configurable beamforming on WARP
Autorzy :
Zhang, Yuanrui
Yin, Bei
Woods, Roger
Cavallaro, Joe
Marshall, Alan
Ko, Youngwook
Pokaż więcej
Temat :
Computer Science::Information Theory
Signal Processing
Computer Networks and Communications
Źródło :
Zhang, Y, Yin, B, Woods, R, Cavallaro, J, Marshall, A & Ko, Y 2014, Investigation of secure wireless regions using configurable beamforming on WARP . in 2014 Asilomar Conference on Signals, Systems, and Computers . IEEE Computer Society, Pacific Grove, CA, pp. 1979-1983, 48th Asilomar Conference on Signals, Systems and Computers, Pacific Grove, United States, 02/11/2014 . https://doi.org/10.1109/ACSSC.2014.7094817
Opis pliku :
application/pdf

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies